자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 8호 가목
Check(NFSC203_7_3_8_가){
IF !CS THEN KS1 AND K2 ELSE THEN KS3 AND KS4
}
Zone myZone{
isObjectProperty(Zone.isDetectionZone) = TRUE
}
CS1{
isFireResistantStructure(SpecificFireFightingBuilding.MainStructuralPart) = TRUE
)
KS1{
isInstalled(ThermocoupleElement , myZone.Floor, c, 18) = TRUE
}
KS2{
isObjectProperty(SpecificFireFightingBuilding.myZone.Floor.area) <= 72m2
getObjectCount(myZone) >= 4
}
KS3{
isInstalled(ThermocoupleElement , myZone.Floor, c, 22) = TRUE
}
KS4{
isObjectProperty(SpecificFireFightingBuilding.myZone.Floor.area) <= 88m2
getObjectCount(myZone) >= 4
}
|
Python Code 변환 예정
|
(2024-12-23 기준) 설계품질검토용 건축법 및 관련법규 - KBIMCode (문장단위)
