//유도등 및 유도표지의 화재안전기준(nfsc 303) 5조 (피난구유도등) 1항 1호
Check(NFSC303_5_1_1){
KS
}
KS{
Door myDoor {
isObjectProperty(Door.isEntrance)=True
isDirectlyAccessible(Door, Ground)=True
}
LeadingLight myLeadingLight{
isObjectProperty(LeadingLight.isForExit)=True
}
isEnstalled(myLeadingLight,myDoor)=True
IF hasObject(AncillaryRoom, myDoor)=True
THEN isEnstalled(myLeadingLight, AncillaryRoom )=True
}
|
Python Code 변환 예정
|
(2024-12-23 기준) 설계품질검토용 건축법 및 관련법규 - KBIMCode (문장단위)
