//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조 (계단의 설치기준) 1항 check(REFB_15_1){ KS } KS{ getResult(REFB_15_1_1)= TRUE getResult(REFB_15_1_2)=TRUE getResult(REFB_15_1_3)=TRUE getResult(REFB_15_1_4)=TRUE }

check(REFB_15_3){

IF CS THEN KS

}



CS{

getBuildingUsage()= "ClassINeighborhoodLivingFacility"

OR getBuildingUsage() = "ClassIINeighborhoodLivingFacility"

OR getBuildingUsage() = "CulturalAndAssemblyFacility"

OR getBuildingUsage() = "ReligiousFacility"

OR getBuildingUsage() = "CommercialFacility"

OR getBuildingUsage() = "TransportationFacility"

OR getBuildingUsage() = "MedicalFacility"

OR getBuildingUsage() = "FacilitiesForTheAgedAndChildren"

OR getBuildingUsage() = "BusinessFacility"

OR getBuildingUsage() = "LodgingFacility"

OR getBuildingUsage() = "AmusementFacility"

OR getBuildingUsage() = "FacilityForTourismAndRelaxation"

OR (getBuildingUsage() = "MultiUnitHouse" AND getBuildingUsage() != "Dormitory")

}



KS{

isExist(Railing)=TRUE

OR (isExist(Railing)=FALSE AND isExist(Handle)=TRUE)

}

// 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조 (계단의 설치기준) 6항
Check(REFB_15_6){
     IF CS THEN KS
}


Stair myStair{
     getResult(REFB_15_1) = TRUE
}

CS{
     isReplaced(myStair, Ramp) = TRUE
}

KS{
     getResult(REFB_15_5) = TRUE
}

//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 15조 (계단의 설치기준) 7항
check(REFP_15_7){
IF CS THEN KS
}

CS{

Floor myFloor{
isObjectProperty(Floor.isEscape)=TRUE
}
isAccessible(Stair,myFloor)
OR isAccessible(Stair,Ground)
}

KS{
getResult(REFP_15_7_1)
OR getResult(REFP_15_7_2)
}

check(REFP_15_8){

KS

}



KS{

getObjectUsage(Stair)= "ElevatorMachineRoom" OR "WatchTower"

AND getResult(REFP_15_1)=FALSE

AND getResult(REFP_15_2)=FALSE

AND getResult(REFP_15_3)=FALSE

AND getResult(REFP_15_4)=FALSE

AND getResult(REFP_15_5)=FALSE

AND getResult(REFP_15_6)=FALSE

AND getResult(REFP_15_7)=FALSE

}