자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 7호 가목
Check(NFSC203_7_3_7_가){
KS
}
KS{
Pipe myPipe{
isObjectProperty(Pipe.isForAir) = TRUE
}
Zone myZone{
isObjectProperty(Zone.isDetectionZone) = TRUE
}
hasObject(myZone, myPipe) = TRUE
getObjectLength(myZone.One.myPipe) >= 20m
}
|