//	연소방지설비의 화재안전기준(nfsc 506) 4조 (배관) 2항
Check(NFSC506_4_2){
	KS
}

KS{
	Pipe myPipe{
		getObjectProperty(Pipe.usage) = "WaterSUpplyPipe"
	}

	isObjectProperty (myPipe.isShared) = FALSE
}
 

//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 2항 3호
Check(NFSC102_6_2_3){
	KS
}
KS{
	Pipe myPipe{
	isObjectProperty(Pipe.usage) = "WaterSupplyPipe"
	}	
	isObjectProperty(Pipe.isShared) = FALSE
}
 

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

Check(NFSC503A_6_7){

	IF CS THEN KS

}



CS{

	Pipe.isShared(SimpleSprinklersystem.Pipe, 	FireDepartmentConnectionSystem.Pipe) = TRUE

}

KS{

	Pipe myPipe1{

	isObjectProperty(Pipe.isRiser) = TRUE

	}

	Port myPort{

	getObjectProperty(Port.typeForWater) = "Delivery"

	Pipe myPipe2{

	isConnectedTo(Pipe, myPort) = TRUE

	}

	

	isObjectProperty(myPipe1.diameter) >= 100 mm	

	getObjectProperty(myPipe2.diameter) >= 65 mm

} 

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

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

Check(NFSC503A_8_5){
	IF CS THEN KS
}

CS{
	Pipe myPipe1{
Pipe.systemType = "SimpleSprinklersystem"
}
	Pipe myPipe2{
Pipe.systemType = "FireDepartmentConnectionSystem"
}
Pipe.isShared(myPipe1, myPipe2) = TRUE
}
KS{
	Pipe myPipe3{
	isObjectProperty(Pipe.isRiser) = TRUE
	}
	Port myPort{
	getObjectProperty(Port.typeForWater) = "Delivery"
	Pipe myPipe4{
	isConnectedTo(Pipe, myPort) = TRUE
	}
	
	isObjectProperty(myPipe3.diameter) >= 100 mm	
	getObjectProperty(myPipe4.diameter) >= 65 mm
}