//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 2항 1호
Check(NFSC503_6_2_1){
KS
}
KS{
SprinklerHead mySprinklerHead{
isInstalled(SprinklerHead, HookingUpSprinklerSystem) = TRUE
}
isAdjacent(mySprinklerHead.Head.AttachingToSurface, Indoors) = TRUE
(isAdjacent(mySprinklerHead.Head.AttachingToSurface, Ceiling) = TRUE
OR isAdjacent(mySprinklerHead.Head.AttachingToSurface, CeilingCovering) = TRUE)
}
|
Python Code 변환 예정
|