// 간이스프링클러설비의 화재안전기준(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
} 

Python Code 변환 예정

//	간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 3항 1호
Check(NFSC103A_8_3_1){
	IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}

	Pipe myPipe{
		getObjectProperty(Pipe.usage) = "WaterSupplyType"
		isObjectProperty(myPipe.isDirectCoupledType) != TRUE
	}

	Pipe myPipe2{
		getObjectProperty(Pipe.usage) = "WaterSupplyType"
		isObjectProperty(myPipe.isDirectCoupledType) = TRUE
	}

CS1{
	isExist(myPipe) = TRUE
}

KS1{
	isObjectProperty(myPipe.isShared) = FALSE
}

CS2{
	isExist(myPipe2) = TRUE
}

KS2{
	isObjectProperty(myPipe.isShared) = FALSE
	getObjectProperty(Pipe.diameter) >= 32mm
}
 

Python Code 변환 예정

// 간이스프링클러설비의 화재안전기준(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
} 

Python Code 변환 예정