// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 7항 Check(NFSC503A_5_7){ IF CS THEN KS } CS{ SpecificFireFightingBuilding mySpecificFireFightingBuilding{ getResult(_*_5_1_마_1)) = TRUE getResult(_*_5_1_마_6)) = TRUE getResult(_*_5_1_마_7)) = TRUE } } KS{ SimpleSprinklerSystem mySimpleSprinklerSystem{ isObjectProperty(SimpleSprinklerSystem.isDirectCoupledType) != TRUE isObjectProperty(SimpleSprinklerSystem.isCabinetType) != TRUE } isInstalled(PressurizedWaterSupplySystem, mySpecificFireFightingBuilding) = TRUE isInstalled(mySimpleSprinklerSystem, mySpecificFireFightingBuilding) != TRUE }
Python Code 변환 예정
//간이스프링클러설비의 화재안전기준(nfsc 103a) 7조 ( 제어반 ) 2호 Check(NFSC503A_7_0_2){ IF CS THEN KS } CS{ isObjectProperty(SimpleSprinklerSystem.isDirectCoupledType) = TRUE } KS{ getResult(NFSC103_13)=TRUE }
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 1호 Check(NFSC503A_8_16_1){ IF CS THEN KS } CS{ isObjectProperty(SimpleSprinklerSystem.isDirectCoupledType) = TRUE } KS{ getResult(NFSC503A_8_16_1_가) = TRUE getResult(NFSC503A_8_16_1_나) = TRUE }