// 스프링클러설비의 화재안전기준(NFSC 103) 9조 (음향장치 및 기동장치) 3항 5호
Check(NFSC103_9_3_5){
IF (!CS1 AND CS2) THEN KS
}
CS1{
isInstalled(Transmitter, Building) = TRUE
isObjectProperty(Transmitter.systemType) = "자동화재탐지설비"
}
CS2{
isInstalled(Transmitter, FireDetector.Circuit) = TRUE
}
KS{
getResult(NFSC103_9_3_5_가) = TRUE
getResult(NFSC103_9_3_5_나) = TRUE
}
|
Python Code 변환 예정
|