//	건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 2호

Check(RFB_13_1_2){

	IF CS THEN KS

}



CS{

	isExist(Boiler) = TRUE
isObjectProperty(Boiler.isElectricBoiler) = FALSE
}



KS{

	Ventilator myVentilator{

		getObjectArea(Ventilator) >= 0.5cm2

	}


Space mySpace{
getSpaceUsage(Space) = "BoilerRoom"  
}
	isInstalled(myVentilator, mySpace, a, top) = TRUE



	AirInlet myAirInlet{

		getObjectDiameter(AirInlet, b) >= 10cm

	}



	AirOutlet myAirOutlet{

		getObjectDiameter(AirOutlet, b) >= 10cm

	}



	(isInstalled(myAirInlet, mySpace, a, top) = TRUE

	OR isInstalled(myAirOutlet, mySpace, a, top) = TRUE)



	(isInstalled(myAirInlet, mySpace, a, bottom) = TRUE

	OR isInstalled(myAirOutlet, mySpace, a, bottom) = TRUE)

} 

//  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 8항

Check(NFSC503_5_6){
	IF CS THEN KS
}
	Pipe myPipe{
	isObjectProperty(Pipe.usage) = "WaterSupplyPipe"
	}
	Valve myValve1{
	isObjectProperty(Valve.isShutoffValve) = TRUE
	}
CS{
	isInstalled(myValve1,myPipe) = TRUE
}
KS{
	isObjectProperty(myValve1.isIndicatingValve) = TRUE
	Valve myValve2{
	isInstalled(Valve, Pump.Inlet) = TRUE
	}
	isObjectProperty(myValve2.isIndicatingValve) = TRUE
	isObjectProperty(myValve2.isButterflyValve) = FALSE
 } 

//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항

Check(NFSC102_6_5){
	IF CS THEN KS	
}
CS{
	isInstalled(Pump.Inlet, Pipe) = TRUE
}
KS{
	getResult(NFSC503A_8_4_1) = TRUE
	getResult(NFSC503A_8_4_2) = TRUE
}
 

//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 1호
Check(NFSC102_6_5_1){
	KS
}
KS{
	Pipe myPipe{
		isInstalled(Pump.Inlet, Pipe) = TRUE
	}
	isInstalled(myPipe,Filter) = TRUE
}
 

//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 2호
Check(NFSC102_6_5_2){
	IF CS THEN KS
}
CS{
	getObjectVerticalLocation(Pump, Tank) < 0 
}
KS{
	Pipe myPipe{
		isInstalled(Pump.Inlet, Pipe) = TRUE
	}
	isInstalled(myPipe, Pump.One) = TRUE
}
 

//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 11항
Check(NFSC503A_6_11){
	IF CS THEN KS
}
	Pipe myPipe{
	isObjectProperty(Pipe.usage) = "WaterSupplyPipe"
	}
	Valve myValve1{
	isObjectProperty(Valve.isShutoffValve) = TRUE
	}
S{
	isInstalled(myValve1,myPipe) = TRUE
	isInstalled(myValve1,myPort) = FALSE
}
KS{
	isObjectProperty(myValve1.isIndicatingValve) = TRUE
	Valve myValve2{
	isInstalled(Valve, Pump.Inlet) = TRUE
	}
	isObjectProperty(myValve2.isIndicatingValve) = TRUE
	isObjectProperty(myValve2.isButterflyValve) = FALSE
 } 

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 3항 2호

Check(NFSC503A_8_3_2){
	KS2 AND IF CS THEN KS1
}
KS2{
	Valve myValve{
	isObjectProperty(Valve.isShutoffValve)=TRUE
	}
	isObjectProperty(myValve.isIndicatingValve) = TRUE
}
CS{
	Pipe myPipe{
	isInstalled(Pipe, Pump.Inlet) = TRUE
	}
	isInstalled(myValve, myPipe) = TRUE
}
KS1{
	isObjectProperty(myValve.isIndicatingValve) = TRUE
	isObjectProperty(myValve.isButterflyValve) = TRUE
}
 

//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항

Check(NFSC503A_8_4){
	IF CS THEN KS	
}
CS{
	isInstalled(Pump.Inlet, Pipe) = TRUE
}
KS{
	getResult(NFSC503A_8_4_1) = TRUE
	getResult(NFSC503A_8_4_2) = TRUE
}
 

//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 1호

Check(NFSC503A_8_4_1){
	KS
}
KS{
	Pipe myPipe{
		isInstalled(Pump.Inlet, Pipe) = TRUE
	}
	isInstalled(myPipe,Filter) = TRUE
} 

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 2호

Check(NFSC103A_8_4_2){
	IF CS THEN KS
}
CS{
	getObjectVerticalLocation(Pump, Tank) < 0 
}
KS{
	Pipe myPipe{
		isInstalled(Pump.Inlet, Pipe) = TRUE
	}
	isInstalled(myPipe, Pump.One) = TRUE
}