//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항 4호
Check(NFSC503A_6_13_4){
KS{
	Port myPort{
	isObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
	}
	
	(isObjectProperty(myPort.shapeType)="DoubleType"
	isObjectProperty(myPort.diameter) = 65mm)
	OR isObjectProperty(myPort.shapeType) = "SingleType"
} 

Python Code 변환 예정

//스프링클러설비의 화재안전기준 11조 (송수구) 3호
check(NFSC103_11_0_3){
	KS
}
KS{
	isObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
	isObjectProperty(Port.shapeType)="DoubleType"
	isObjectProperty(Port.diameter) = 65mm
} 

Python Code 변환 예정

//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 2호



Check(NFSC503_4_1_2){

 IF CS THEN KS 

}

CS{

 Zone myZone{

  isObjectProperty(Zone.isWaterSupplyZone)=TRUE

 }

 hasObject(myZone.One,HookingUpSprinklerSystem.Head.)=TRUE

 getObjectCount(HookingUpSprinklerSystem.Head.) <= 10  

}

KS{

 Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
 getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" 

 }

 isObjectProperty(myPort.diameter) = 65mm

 getObjectProperty(myPort.shapeType) = "DoubleType"

} 

Python Code 변환 예정

//	연소방지설비의 화재안전기준(nfsc 506) 6조 (송수구) 2호
Check(NFSC506_6_0_2){
	KS
}

KS{

	Port myPort{
		getObjectProperty(Port.typeForWater) = "FireDepartmentConnection"
	}

	isInstalled(myPort, CombustionProtectionSystem) = TRUE
	getObjectProperty(myPort.diameter) = 65mm
	getObjectProperty(myPort.shapeType) = "DoubleType"
} 

Python Code 변환 예정