check(REFB_20){

     KS

}



KS{

     isExist(Chimney)=TRUE

     AND (getResult(REFB_20_0_1)=TRUE

       

          AND getResult(REFB_20_0_3)=TRUE

          AND getResult(REFB_20_0_4)=TRUE)

}


check(REFB_20_0_1){
     KS
}

KS{
     getObjectDistance(Chimney, Ground)
     -getObjectDistance(Roof, Ground)>= 1M
} 



//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 20조 (건축물에 설치하는 굴뚝) 3호
Check(REFB_20_0_3){
     IF CS THEN KS
}

CS{
     getObjectMaterial(Chimney.Material.nonCombustibility) = TRUE
}

KS{
     Chimney myChimney{
          getObjectMaterial(Chimney.Material.nonCombustibility) = TRUE
     }

     isObjectProperty(A.Finish.Material.nonCombustibility) = TRUE
     getObjectProperty(A.Finish.Material.nonCombustibility) != 
     isObjectProperty(B.Finish.Material.nonCombustibility) = TRUE
     getFloorNumber(myChimney) = LF
     getObjectMaterial(myChimney) != "Metal"
}


check(REFB_20_0_4){

IF !CS THEN KS

}



CS{

     (isObjectProperty(Chimney.Material.nonCombustibility)= TRUE

     AND !(getObjectProperty(Chimney.Material)="Metal"))

     And getElementWidth(NoncombustibleMaterials)>=10

}



KS{

       getObjectDistance(Chimney, combustibleMaterials)>= 15CM

       AND getObjectProperty(Chimney.Material)="Metal")) 

}