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



Check(NFSC503_5_1_3){

	KS

}

KS{

	(isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE

	OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE)

	(isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE

	OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE)

	SprinklerSystem mySprinklerSystem{
SprinklerSystem.type = "WetPipeSprinklerSystem"
}

	isInstalled(mySprinklerSystem, Ceiling)=TRUE

	isInstalled(mySprinklerSystem, CeilingCovering)=TRUE

} 

//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 2항 3호
Check(NFSC102_6_2_3){
	KS
}
KS{	
	SprinklerSystem mySprinklerSystem{
	isObjectProperty(SprinklerSystem.type) = "WetPipeSprinklerSystem"
	}
	(isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE
	OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE)
	(isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE
	OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE)
	isInstalled(mySprinklerSystem, Ceiling)=TRUE
	isInstalled(mySprinklerSystem, CeilingCovering)=TRUE
}

 

//	스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 5호
Check(NFSC103_15_1_5){
	IF CS THEN KS
}

CS{
	isObjectProperty(Ceiling.Material.nonCombustibility) = TRUE
	isObjectProperty(CeilingCovering.Material.nonCombustibility) = TRUE
}

KS{
	getResult(NFSC103_15_1_5_1) = TRUE
	OR getResult(NFSC103_15_1_5_2) = TRUE
} 

//	스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 6호
Check(NFSC103_15_1_6){
	KS
}

KS{
	(isObjectProperty(Ceiling.Material.nonCombustibility) = TRUE
	isObjectProperty(CeilingCovering.Material.nonCombustibility) = FALSE)
	OR (isObjectProperty(Ceiling.Material.nonCombustibility) = FALSE
	isObjectProperty(CeilingCovering.Material.nonCombustibility) = TRUE)
	getObjectDistance(Ceiling, CeilingCovering) < 1m
} 

//	스프링클러설비의 화재안전기준(nfsc 103) 15조 (헤드의 설치제외) 1항 7호
Check(NFSC103_15_1_7){
	KS
}

KS{
	isObjectProperty(Ceiling.Material.nonCombustibility) = FALSE
	isObjectProperty(CeilingCovering.Material.nonCombustibility) = FALSE
	getObjectDistance(Ceiling, CeilingCovering) < 0.5m
} 

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

Check(NFSC503A_8_2_3){
	KS
}
KS{	
	SprinklerSystem mySprinklerSystem{
	isObjectProperty(SprinklerSystem.type) = "WetPipeSprinklerSystem"
	}
	(isObjectProperty(Ceiling.Material.nonCombustibility)=TRUE
	OR isObjectProperty(Ceiling.Material.quasiNonCombustibility)=TRUE)
	(isObjectProperty(CeilingCovering.Material.nonCombustibility)=TRUE
	OR isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=TRUE)
	isInstalled(mySprinklerSystem, Ceiling)=TRUE
	isInstalled(mySprinklerSystem, CeilingCovering)=TRUE
} 

//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 3항 3호

Check(NFSC502_5_3_3){
     KS
}

KS{
   
    (  isObjectProperty(Ceiling.Material.quasiNonCombustibility)=True
      OR isObjectProperty(Ceiling.Material.nonCombustibility)=True
    )

    (
       isObjectProperty(CeilingCovering.Material.quasiNonCombustibility)=True
       OR isObjectProperty(CeilingCovering.Material.nonCombustibility)=True
     )


}