제5조(피난구유도등) ①피난구유도등은 다음 각 호의 장소에 설치하여야 한다. <개정 2012.8.20>

//유도등 및 유도표지의 화재안전기준(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
}

//유도등 및 유도표지의 화재안전기준(nfsc 303) 5조 (피난구유도등) 1항 2호

Check(NFSC303_5_1_2){
KS
}

KS{
Stair myStair {

isObjectProperty(Stair.isDirect)=True
}

Door myDoor{
isObjectProperty(Door.isEntrance)=True
OR hasObject( myStair, Door)=True
OR hasObject(myStair.Space,Door)=True
OR hasObject(myStair.AncillaryRoom,Door)=True

}

LeadingLight myLight{
isObjectProperty(LeadingLight.isForExit)=True
}

isEnstalled(myLight,myDoor)=True


}

//유도등 및 유도표지의 화재안전기준(nfsc 303) 5조(피란구유도등) 1항 3호

Check(NFSC303){
KS
}
Door myDoor{
isObjectProperty(Door.isEntrance)=True
(OR hasObject( myStair, Door)=True
OR hasObject(myStair.Space,Door)=True
OR hasObject(myStair.AncillaryRoom,Door)=True)

OR isDirectlyAccessible(Door, Ground)=True
}
LeadingLight myLeadingLight{
isObjectProperty(LeadingLight.isForExit)=True
}

Passage myPassage{
isAccessible(myDoor, Passage)=True
}
Corridor myCorriodr{
isAccessible(myDoor, Corridor)=True
}

Door myDoor2{
isObjectProperty(Door.isEntrance)=True
isAccessible(myPassage, Door)=True
or isAccessible(myCorridor, Door)=True
}

isInstalled(myLeadingLight, myDoor2)=True

}