//주차장법 시행규칙 6조 (노외주차장의 구조·설비기준) 6항

Check(ERPA_6_6){

	IF CS THEN KS

}



ParkingLot myParkingLot{

	isObjectProperty(ParkingLot.isOffStreetParking) = TRUE

}


Building myBuilding{
Building.usage = "UrbanGunPlanningFacility"
getResult(LPUA_2_0_7) = TRUE
hasSpace(myParkingLot, Building) = TRUE
getSpaceUsage(Building) = getSpaceUsage(SubsidiaryFacility)

}

Building myBuilding1{
Building.usage = "UrbanGunPlanningFacility"
}

CS{

	getObjectNumber(myBuilding) >= 2

}



KS{

	(getFloorArea(myBuilding1)- getFloorArea(myBuilding)) <= (getTotalObjectArea(ParkingLot) + getTotalObjectArea(SubsidiaryFacility))*0.4

} 

//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 2항
Check(ERPA_11_2){
	getResult(ERPA_6_1_9) = TRUE
	getResult(ERPA_6_1_11) = TRUE
}
 

//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 4항
Check(ERPA_11_4){
	IF CS THEN KS
}

CS{
	ParkingLot myParkingLot{
		isObjectProperty(ParkingLot.isAttachedParking) = TRUE
		getObjectProperty(ParkingLot.numberOfParkingUnit) >= 50
	}

	ParkingUnit myParkingUnit{
		getObjectProperty(ParkingUnit) = "ExtensionType"
	}

	hasSpace(myParkingLot, myParkingUnit) = TRUE
}

KS{
	getResult(ERPA_6_1_14) = TRUE
} 

//주차장법 시행규칙 11조 (부설주차장의 구조·설비기준) 5항
Check(ERPA_11_5){
	IF CS THEN KS
}

CS{
	ParkingLot myParkingLot{
		isObjectProperty(ParkingLot.isAttachedParking) = TRUE
		isObjectProperty(ParkingLot.operationType) = "DriveInParking"
	}

	getObjectProperty(myParkingLot.numberOfParkingUnit) >= 8
}

KS{
	getResult(ERPA_11_5_1) = TRUE
	getResult(ERPA_11_5_2) = TRUE
	getResult(ERPA_11_5_3) = TRUE
} 

//주차장법 시행규칙 16조의2 (기계식주차장의 설치기준) 1호



Check(ERPA_16-2_0_1){

   

  KS

}



KS{

  isExist(FrontageSpace, MechanicalParkingEquipment.Opening.FrontSurface)=True

  isExist(DirectionSwitchingEquipment, MechanicalParkingEquipment.Opening.FrontSurface)=True

  getResult(ERPA_16-2_0_1_가)=True

   getResult(ERPA_16-2_0_1_나)=True

} 

//주차장법 시행규칙 16조의2 (기계식주차장의 설치기준) 2호

Check(ERPA_16-2_0_2){
   IF CS THEN KS      
}

CS{
   hasObject(MechanicalParkingEquipment,DirectionSwitchingEquipment)=True
   OR 
   //2츠이상으로 주차구획이 배치되어 있고 
   // 출입구가 있는 층의 모든 주차구획을 기계식주차장치 출입구로 사용할 수 있는
   getSpaceUsage()="MechanicalParking"
}

KS{
   getResult(ERPA_6_1_3)=True
   OR getResult(ERPA_11_5_2)=True
} 

//주차장법 시행규칙 16조의2 (기계식주차장의 설치기준) 3호

Check(ERPA_16-2_0_3){
       IF CS THEN KS 
}

CS{
   getSpaceUsage()="MechanicalParking"
}


KS{
   Space mySpace{
       isAdjacent(FrontageSpace,Space)=True
   }
   
   isExist(ApproachRoad)=True
   isExist(mySpace)=True
   IF(// 주차장의 출구와 입구가 따로 설치되어 있거나
   OR "진입로".width>6 m) THEN
   //종단경사도가 6퍼센트 이하인 진입로의 길이 6미터마다 
한 대분의 정류장을 확보한 것으로 본다.
   ELSE THEN

   //주차대수 20대를 초과하는 20대마다 한 대분의 정류장을 확보하여야 하며
   getResult(ERPA_16-2_0_3_가)=True
   getResult(ERPA_16-2_0_3_나)=True

  END IF

} 

//	비상경보설비의 화재안전기준(NFSC 201) 4조 (전원 및 콘센트 등 ) 5항
Check(NFSC201_4_5){
	IF !CS THEN KS
}

CS{
	getObjectProperty(Floor.number) < 0
}

KS{
	getResult(NFSC201_4_5_1) = TRUE
	getResult(NFSC201_4_5_2) = TRUE
} 

//	비상경보설비의 화재안전기준(NFSC 201) 5조 (단독경보형감지기)
Check(NFSC201_5){
	KS
}

KS{
	getResult(NFSC201_5_1) = TRUE
	getResult(NFSC201_5_2) = TRUE
	getResult(NFSC201_5_4) = TRUE
} 

//	비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 1항
Check(NFSC504_4_1){
	KS
}

KS{
	getResult(NFSC504_4_1_2) = TRUE
	getResult(NFSC504_4_1_3) = TRUE
} 

//	비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 1항 3호

Check(NFSC504_4_1_3){

	IF (CS1 THEN KS1) OR (CS2 THEN KS2)

}



CS1{

	getObjectProperty(EmergencyPowerReceivingSystem.type) = "InhousePowerGenerationSystem"

}



KS1{

	getResult(NFSC504_4_1_3_4) = TRUE

}



CS2{

	getObjectProperty(EmergencyPowerReceivingSystem.type) = "EmergencyPowerReceivingSystem"

}



KS2{

	getResult(Unimplemented_NFSC_602) = TRUE

} 

//	비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 5항
Check(NFSC504_4_5){
	KS
}

KS{
	getResult(NFSC504_4_5_2) = TRUE
	getResult(NFSC504_4_5_3) = TRUE
} 

//	비상콘센트설비의 화재안전기준(nfsc 504) 4조 (전원 및 콘센트 등) 5항 3호 나목
Check(NFSC504_4_5_3_2){
	IF CS THEN KS
}

CS{
	getResult(NFSC504_4_5_3_1) = FALSE
}

KS{
	getObjectDistance(myDoor.Stair.Space, EmergencyPowerOutlet) > 25m
	OR getObjectDistance(myDoor.Stair.AncillaryRoom, EmergencyPowerOutlet) > 25m
}
 

//	비상콘센트설비의 화재안전기준(nfsc 504) 5조 (보호함)
Check(NFSC504_5){
	KS
}

KS{
	getResult(NFSC504_5_0_1) = TRUE
	getResult(NFSC504_5_0_3) = TRUE
} 

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

Check(NFSC102_6_1){
	KS
}
KS{
	getResult(NFSC102_6_1_1) = TRUE
	getResult(NFSC102_6_1_2) = TRUE
} 

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

Check(NFSC102_6_1_1){
	IF CS THEN KS
}
CS{
	isObjectProperty(Pipe.workingPressure) < 1.2
}
KS{
	getResult(NFSC102_6_1_1_가)=TRUE
	getResult(NFSC102_6_1_1_나)=TRUE
	getResult(NFSC102_6_1_1_다)=TRUE
}
 

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

Check(NFSC102_6_2){
	IF CS THEN KS1 OR KS2
}

CS{
	getResult(NFSC102_6_2_2) = TRUE
	OR getResult(NFSC102_6_2_3) = TRUE
}
KS1{
	getResult(NFSC102_6_1) = TRUE
}
KS2{
	isObjectProperty(Pipe.isSyntheticResinForfirefighting) = TRUE
} 

//  옥내소화전설비의 화재안전기준(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조 (배관 등) 8항
Check(NFSC102_6_8){
	KS
}

KS{
	getResult(NFSC102_6_8_1) = TRUE
	OR getResult(NFSC102_6_8_2) = TRUE
} 

//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항
Check(NFSC503A_6_13){
	KS
}
KS{
	getResult(NFSC503A_8_13_2) = TRUE
	getResult(NFSC503A_8_13_3) = TRUE
	getResult(NFSC503A_8_13_4) = TRUE
} 

//  옥내소화전설비의 화재안전기준(nfsc 102) 7조 (함 및 방수구 등) 2항
Check(NFSC503A_7_2){
	getResult(NFSC503A_7_2_1) = TRUE
	getResult(NFSC503A_7_2_2) = TRUE
	getResult(NFSC503A_7_2_3) = TRUE
} 

//  옥내소화전설비의 화재안전기준(nfsc 102) 7조 (함 및 방수구 등) 3항
Check(NFSC503A_7_3){
	getResult(NFSC503A_7_3_1) = TRUE
} 

//  스프링클러설비의 화재안전기준(nfsc 103) 4조 (수원) 1항
Check(NFSC103_4_1){
	KS
}

KS{
	getResult(NFSC103_4_1_1) = TRUE
	getResult(NFSC103_4_1_2) = TRUE
} 

//  스프링클러설비의 화재안전기준(nfsc 103) 4조 (수원) 5항
Check(NFSC103_4_5){
	IF CS THEN KS
}

CS{
	isObjectProperty(Tank.isWaterSource) = TRUE

	(getResult(NFSC103_4_5_1) = FALSE
	OR getResult(NFSC103_4_5_2) = FALSE)
}

KS{
	isObjectProperty(Tank.isShared) = FALSE
} 

//  스프링클러설비의 화재안전기준 (nfsc 103) 4조 (수원) 7항
Check(NFSC103A_4_7){
	KS
}

KS{
	getResult(NFSC103_4_7_3) = TRUE
	getResult(NFSC103_4_7_4) = TRUE
	getResult(NFSC103_4_7_5) = TRUE
	getResult(NFSC103_4_7_6) = TRUE
} 

// 스프링클러설비의 화재안전기준(NFSC 103) 6조 (폐쇄형스프링클러설비의 방호구역·유수검지장치) 

Check(NFSC103_6){
      IF CS THEN KS
}

CS{
  
getObjectProperty(SprinklerSystem.Head.openAndCloseType)="EnclosedType"

}

KS{
  getResult(NFSC103_6_0_1)=True
  getResult(NFSC103_6_0_2)=True
  getResult(NFSC103_6_0_3)=True
  getResult(NFSC103_6_0_4)=True
  getResult(NFSC103_6_0_7)=True
} 

//스프링클러설비의 화재안전기준(NFSC 103) 7조 (개방형스프링클러설비의 방수구역 및 일제개방밸브) 

Check(NFSC103_7){
     KS
}

KS{
  getResult(NFSC103_7_0_1)=True
  getResult(NFSC103_7_0_2)=True
  getResult(NFSC103_7_0_3)=True
  getResult(NFSC103_7_0_4)=True
} 

//스프링클러설비의 화재안전기준(NFSC 103) 7조 (개방형스프링클러설비의 방수구역 및 일제개방밸브) 4호

Check(NFSC103_7_0_4){
  KS
}

KS{
   getResult(NFSC103_6_0_4)=True
} 

// 스프링클러설비의 화재안전기준(NFSC 103) 9조 (음향장치 및 기동장치) 1항

Check(NFSC103_9_1){
	KS
}
KS{
	getResult(NFSC103_9_1_3) = TRUE
	getResult(NFSC103_9_1_4) = TRUE
} 

// 스프링클러설비의 화재안전기준(NFSC 103) 9조 (음향장치 및 기동장치) 3항

Check(NFSC103_9_3){
	IF CS THEN KS
}
CS{
	getObjectProperty(WaterflowIndicator.type) = "PreactionWaterflowIndicator"
	OR isObjectProperty(Valve.isDelugeValve) = TRUE
}
KS{
	getResult(NFSC103_9_0_5) = TRUE
} 

//	스프링클러설비의 화재안전기준(nfsc 103) 9조 (음향장치 및 기동장치) 3항 2호 나목
Check(NFSC103_9_3_2_2){
	KS
}

KS{
	getResult(NFSC203_7_1_1) = TRUE
	OR getResult(NFSC203_7_1_2) = TRUE
	OR getResult(NFSC203_7_1_3) = TRUE
	OR getResult(NFSC203_7_1_4) = TRUE
	OR getResult(NFSC203_7_1_5) = TRUE
	OR getResult(NFSC203_7_1_6) = TRUE
	OR getResult(NFSC203_7_1_7) = TRUE
	OR getResult(NFSC203_7_1_8) = TRUE
} 

// 스프링클러설비의 화재안전기준(NFSC 103) 9조 (음향장치 및 기동장치) 3항 5호

Check(NFSC103_9_3_5){
	IF (!CS1 AND CS2) THEN KS
}
CS1{
	isInstalled(Transmitter, Building) = TRUE
	isObjectProperty(Transmitter.systemType) = "자동화재탐지설비"
}
CS2{
	isInstalled(Transmitter, FireDetector.Circuit) = TRUE
}
KS{
	getResult(NFSC103_9_3_5_가) = TRUE
	getResult(NFSC103_9_3_5_나) = TRUE
} 

//스프링클러설비의 화재안전기준(NFSC 103) 10조 3항 
check(NFSC103_10_3){
	getResult(NFSC103_10_3_1) = TRUE
	getResult(NFSC103_10_3_2) = TRUE
	getResult(NFSC103_10_3_3) = TRUE
	getResult(NFSC103_10_3_4) = TRUE
}
 

//스프링클러설비의 화재안전기준(NFSC 103) 10조 3항 4호
check(NFSC103_10_3_4){
	IF CS1 THEN IF (CS2) THEN KS ELSE KS2 ENDIF ENDIF
}

CS1{
	Space mySpace = getObject(특정소방대상물)
	getResult(_1) = False
	getResult(_2) = False
	getResult(_3) = False
}

CS2{
	isFireResistanceStructure(mySpace) = TRUE
}

KS1{
	getObjectVerticalDistance(mySpace.Ceiling, SprinklerHead) <= 2,3m
	getObjectVerticalDistance(mySpace.CeilingCover, SprinklerHead) <= 2.3m
	getObjectVerticalDistance(mySpace.Duct, SprinklerHead) <= 2.3m
	getObjectVerticalDistance(mySpace.Shelf, SprinklerHead) <= 2.3m
}

KS2{
	getObjectVerticalDistance(mySpace.Ceiling, SprinklerHead) <= 2,1m
	getObjectVerticalDistance(mySpace.CeilingCover, SprinklerHead) <= 2.1m
	getObjectVerticalDistance(mySpace.Duct, SprinklerHead) <= 2.1m
	getObjectVerticalDistance(mySpace.Shelf, SprinklerHead) <= 2.1m
} 

Check(NFCS103_10_5){

IF CS THEN KS

}





CS{

getResult(NFCS103_10_5_1)

OR getResult(NFCS103_10_5_2)

}





KS{
Head myHead{
getObjectProperty(SprinklerSystem.Head.responseType)=QuickResponseType
}
isInstalled(myHead) = TRUE

} 

//스프링클러설비의 화재안전기준(NFSC 103) 10조 7호
check(NFSC103_10_7){
	getResult(NFSC103_10_7_1) = TRUE
	getResult(NFSC103_10_7_2) = TRUE
	getResult(NFSC103_10_7_3) = TRUE
	getResult(NFSC103_10_7_4) = TRUE
	getResult(NFSC103_10_7_5) = TRUE
	getResult(NFSC103_10_7_6) = TRUE
	getResult(NFSC103_10_7_7) = TRUE
	getResult(NFSC103_10_7_8) = TRUE
}
 

//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 7항4호

Check(NFSC103_10_7_4){
  IF !CS THEN KS 
}

CS{

   getObjectProperty(SprinklerHead.shapeType)="SideWallType"
OR getResult(NFSC203_10_7_6)=TRUE
   
}


KS{ isParallel(SprinklerHead.Deflector,Deflector.AttachingToSurface)=TRUE

} 

//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 7항5호
Check(NFSC103_10_7_5){
    IF CS THEN KS    
}

CS{
  getObjectProperty(Ceiling.gradient)>1/10  
}


KS{
  isParallel(BranchPipe, Ceiling.Top)=TRUE
  
  getResult(NFSC103_10_7_5_1)=TRUE
  OR getResult(NFSC103_10_7_5_2)=TRUE
} 

//스프링클러설비의 화재안전기준(NFSC 103) 10조 7항 7호

check(NFSC103_10_7_7){

IF !CS THEN KS

}



CS{

getResult(NFSC103_10_7_7_가)=TRUE

OR getResult(NFSC103_10_7_7_나)=TRUE

}



KS{

SprinklerHead mySprinklerHead{

SprinklerHead.installationDirectionType="BottomUpType"

}
SprinklerSystem mySprinklerSystem1{
SprinklerSystem.type = "VacuumSprinklerExtinguishingSystem"
}
SprinklerSystem mySprinklerSystem2{
SprinklerSystem.type = "WetPipeSprinklerSystem"
}
hasElement(mySprinklerSystem1, mySprinklerHead)=TRUE

hasElement(mySprinklerSystem2, mySprinklerHead)=TRUE

} 

//스프링클러설비의 화재안전기준 11조 (송수구)
check(NFSC103_11){
	getResult(NFSC103_11_0_2)=TRUE
	getResult(NFSC103_11_0_3)=TRUE
	getResult(NFSC103_11_0_5)=TRUE
	getResult(NFSC103_11_0_6)=TRUE
} 

//	스프링클러설비의 화재안전기준(nfsc 103) 12조 (전원) 2항

Check(NFSC103_12_2){

	IF (!CS1 THEN KS1) OR (CS2 THEN KS2)

}



CS1{

	Tank myTank{

		getObjectProperty(Tank) = "PressurizedTank"

	}



	isInstalled(myTank) = TRUE

}



CS2{

	getBuildingUsage() = "Garage"

	OR getBuildingUsage() = "ParkingLot"



	ParkingLot myParkingLot{

		getResult(Unimplemented_NFSC105_13_2_2) = TRUE

		getSpace(ParkingLot)

	}



	Floor myFloor{

		isInstalled(SprinklerSystem, Floor) = TRUE

	}



	getFloorArea(myFloor) + getFloorArea(myFloor2) >= 1000m2

}



KS1{

	EmergencyPower myEmergencyPower{

		getObjectProperty(EmergencyPower.systemType) = "InhousePowerGenerationSystem"

		OR getObjectProperty(EmergencyPower.systemType) = "StorageBatterySystem"

	}

	isInstalled(myEmergencyPower, SprinklerSystem) = TRUE

}



KS2{

	EmergencyPower myEmergencyPower{

		getObjectProperty(EmergencyPower.systemType) = "InhousePowerGenerationSystem"

		OR getObjectProperty(EmergencyPower.systemType) = "StorageBatterySystem"

		OR getObjectProperty(EmergencyPower.systemType) = "EmergencyPowerReceivingSystem"

	}

	isInstalled(myEmergencyPower, SprinklerSystem) = TRUE

} 

//	스프링클러설비의 화재안전기준(nfsc 103) 12조 (전원) 3항

Check(NFSC103_12_3){

	IF (CS1 OR CS2 THEN KS1) OR (CS3 THEN KS2)

}



	Pump myPump{

		getObjectProperty(Pump.systemType) = "InternalCombustionEngines"

	}



CS1{

	getResult(Unimplemented_NFSC103_12_2) = TRUE



	getObjectProperty(EmergencyPower.systemType) = "InhousePowerGenerationSystem"

	OR getObjectProperty(EmergencyPower.systemType) = "StorageBatterySystem"

}



CS2{

	isInstalled(Pump, InternalCombustionEngines) = TRUE

	isInstalled(ControlStorageBattery, InternalCombustionEngine) = TRUE

}



KS1{

	getResult(NFSC103_12_3_4) = TRUE

	OR getResult(NFSC103_12_3_8) = TRUE

}



CS3{

	getResult(Unimplemented_NFSC103_12_2) = TRUE

	getObjectProperty(EmergencyPower.systemType) = "EmergencyPowerReceivingSystem"

}



KS2{

	getResult(Unimplemented_NFSC602) = TRUE

} 

//	스프링클러설비의 화재안전기준(NFSC 103) 12조 (전원) 3항 8호
Check(NFSC103_12_3_8){
	KS
}

KS{
	InhousePowerGeneratingStation myInhousePowerGeneratingStation{
		getResult(NFSC103_12_3_8_1) = TRUE
		OR getResult(NFSC103_12_3_8_2) = TRUE
		OR getResult(NFSC103_12_3_8_3) = TRUE
	}
	isInstalled(myInhousePowerGeneratingStation) = TRUE
} 

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

CS{
	getResult(NFSC103_15_1_1) = TRUE
	OR getResult(NFSC103_15_1_2) = TRUE
	OR getResult(NFSC103_15_1_3) = TRUE
	OR getResult(NFSC103_15_1_4) = TRUE
	OR getResult(NFSC103_15_1_5) = TRUE
	OR getResult(NFSC103_15_1_6) = TRUE
	OR getResult(NFSC103_15_1_7) = TRUE
	OR getResult(NFSC103_15_1_8) = TRUE
	OR getResult(NFSC103_15_1_10) = TRUE
	OR getResult(NFSC103_15_1_11) = TRUE
	OR getResult(NFSC103_15_1_13) = TRUE
	OR getResult(NFSC103_15_1_14) = TRUE
	OR getResult(NFSC103_15_1_15) = TRUE
}

KS{
	isInstalled(SprinklerSystem) = 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항 13호
Check(NFSC103_15_1_13){
	KS
}

KS{
	getObjectMaterial(SpecificFireFightingBuilding.Material.nonCombustibility) = TRUE
	(getResult(NFSC103_15_1_13_1) = TRUE
	OR getResult(NFSC103_15_1_13_2) = TRUE
	OR getResult(NFSC103_15_1_13_3) = TRUE)
} 

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

KS{
	getResult(EDBA_46_4) = TRUE
	getBuildingUsage() = "MultiUnitHouse"
	isObjectProperty(Space.isEscape) = TRUE
} 

//	간이스프링클러설비의 화재안전기준(NFSC103A) 4조 (수원) 1항

Check(NFSC103A_4_1){

	KS

}



KS{

	getResult(NFSC103A_4_1_2) = TRUE

} 

// 간이스프링클러설비의 화재안전기준(NFSC103a) 4조 (수원) 2항



Check(NFSC503A_4_2){

	IF !CS1 AND CS2 THEN KS	

}

CS1{

	getResult(NFSC503A_4_2_1) = TRUE

	OR getResult(NFSC503A_4_2_2) = TRUE

}

CS2{

	isObjectProperty(SimpleSprinklerSystem.Tank.isWaterSource) = TRUE

}

KS{

	isObjectProperty(Tank.isShared) = FALSE

} 

// 	간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원)



Check(NFSC503A_4){

	getResult(NFSC503A_4_4) = TRUE

	getResult(NFSC503A_4_5) = TRUE

	getResult(NFSC503A_4_6) = TRUE

} 

// 	간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항

Check(NFSC503A_5_2){
	IF CS THEN KS
}

CS{
	getObjectProperty(PressurizedWaterSupplySystem.supplyType)="PumpType"
}
KS{
	getResult(NFSC503A_5_2_3) = TRUE
	getResult(NFSC503A_5_2_4) = TRUE
	getResult(NFSC503A_5_2_5) = TRUE
	getResult(NFSC503A_5_2_6) = TRUE
	getResult(NFSC503A_5_2_7) = TRUE

} 

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 7호

Check(NFSC503A_5_2_7){
	IF !CS THEN KS1 AND KS2
}
CS{
	isObjectProperty(SimpleSprinklerSystem.isCabinetType)=TRUE
}
KS1{
	isExist(PressurizedWaterSupplySystem) = TRUE
}
KS2{
	getResult(NFSC503A_5_2_7_가) = TRUE
} 

// 	간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 8호



Check(NFSC503A_5_2_8){

	IF (!CS1 AND CS2) THEN KS

}

CS1{

	isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE

}

CS2{



getObjectVerticalLocation(Pump, WaterSource,) < 0 	

}

KS{

	isInstalled(PressurizedWaterSupplySystem, WaterLiftingDevice) = TRUE

	getResult(NFSC503A_5_2_가) = TRUE

	getResult(NFSC503A_5_2_나) = TRUE

} 

/ 	간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 3항

Check(NFSC503A_5_3){
	IF CS THEN KS
}
CS{
	isObjectProperty(PressurizedWaterSupplySystem.supplyType) = "ElevatedWaterTankType"
}
KS{
	getResult(NFSC503A_5_3_1)=TRUE
	getResult(NFSC503A_5_3_2)=TRUE

} 

/ 	간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 4항



Check(NFSC503A_5_4){

	IF CS THEN KS

}

CS{

	getObjectProperty(PressurizedWaterSupplySystem.supplyType) = "HydropneumaticTankType"

}

KS{

	getResult(NFSC503A_5_4_1)=TRUE

	getResult(NFSC503A_5_4_2)=TRUE



} 

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

//간이스프링클러설비의 화재안전기준(nfsc 103a) 6조 (간이스프링클러설비의 방호구역·유수검지장치)

Check(NFSC503A_6){
	KS2 AND IF CS THEN KS1
KS2{
	getResult(NFSC503A_6_1)=TRUE
	getResult(NFSC503A_6_2)=TRUE
	getResult(NFSC503A_6_3)=TRUE
	getResult(NFSC503A_6_4)=TRUE
}
CS{
	isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE
}
KS1{
	getResult(NFSC503A_6_3)=TRUE
} 

//간이스프링클러설비의 화재안전기준(nfsc 103a) 7조 ( 제어반 ) 

Check(NFSC503A_7){
	IF !CS THEN KS
}
CS{
	isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE
}
KS{
	hasObject(SimpleSprinklerSystem, ControlPanel)=TRUE
	getResult(NFSC503A_7_2)=TRUE
} 

//간이스프링클러설비의 화재안전기준(nfsc 103a) 7조 ( 제어반 ) 2호

Check(NFSC503A_7_0_2){
	IF CS THEN KS
}
CS{
	isObjectProperty(SimpleSprinklerSystem.isDirectCoupledType) = TRUE
}
KS{
	getResult(NFSC103_13)=TRUE
} 

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

Check(NFSC503A_8_1){
	getResult(NFSC503A_8_1_1)=TRUE
	getResult(NFSC503A_8_1_2)=TRUE
}
 

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

Check(NFSC503A_8_1_1){
	IF CS THEN KS
}
CS{
	isObjectProperty(Pipe.workingPressure) < 1.2
}
KS{
	getResult(NFSC503A_8_1_1_가)=TRUE
	getResult(NFSC503A_8_1_1_나)=TRUE
	getResult(NFSC503A_8_1_1_다)=TRUE
} 

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

Check(NFSC503A_8_2){
	IF CS THEN KS1 OR KS2
}

CS{
	getResult(NFSC503A_8_2_2) = TRUE
	OR getResult(NFSC503A_8_2_3) = TRUE
}
KS1{
	getResult(NFSC503A_8_1) = TRUE
}
KS2{
	isObjectProperty(Pipe.isSyntheticResinForfirefighting) = TRUE
} 

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

Check(NFSC503A_8_3){
	getResult(NFSC503A_8_3_2)=TRUE
	getResult(NFSC503A_8_3_3)=TRUE
}
 

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

Check(NFSC503A_8_3_3){
	getResult(NFSC503A_*_1) = 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조 (배관 및 밸브) 6항



Check(NFSC503A_8_6){

	getResult(NFSC503A_8_6_1) = TRUE

	getResult(NFSC503A_8_6_2) = TRUE

} 

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

Check(NFSC503A_8_9){
	KS
}
KS{
	getResult(NFSC503A_8_9_1) = TRUE
	getResult(NFSC503A_8_9_2) = TRUE
	getResult(NFSC503A_8_9_3) = TRUE
}
} 

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

Check(NFSC503A_8_9_2){
	IF !CS THEN KS
}
CS{
	getResult(NFSC503A_8_9_2_가) = TRUE
}
KS{
	Pipe myPipe{
	isObjectProperty(Pipe.isBranchLines) = TRUE
	}
	Head myHead{
	isIntalled(SimpleSprinkler.Head, myPipe.One) = TRUE
	getObjectVerticalLocation(CeilingCovering, SimpleSprinkler.Head) < 0
	}
	getObjectCount(myHead) <= 8  
} 

9항 3호

Check(NFSC503A_8_9_3){
	IF CS THEN KS
}
	Pipe myPipe1{
	isObjectProperty(Pipe.isBranchLines) = TRUE
	}
	Pipe myPipe2{
	isObjectProperty(Pipe.isFlexibleTube) = TRUE
	}
CS{
	isInstalledInOrder(myPipe1, myPipe2, Head) = TRUE
}
KS{
	getResult(NFSC503_10_3) = TRUE
} 

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

Check(NFSC503A_8_11_1){
	IF (CS1 AND CS2) THEN KS
}
CS{
	isObjectProperty(WaterflowIndicator.type) = "PreactionWaterflowIndicator"
	isObjectProperty(WaterflowIndicator.systemType) = "SimpleSprinklerSystem"
	}
KS{
	getResult(NFSC503A_8_11_1) = TRUE
	getResult(NFSC503A_8_11_2) = TRUE
}
 

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

Check(NFSC503A_8_11_2){
	IF CS THEN KS
}
CS{
	Valve myValve{
	isObjectProperty(Valve.isIndicatingValve) = TRUE
	}
	WaterflowIndicator myWaterflowIndicator{isObjectProperty(WaterflowIndicator.type) = "PreactionWaterflowIndicator"
	}
	isInstalledInOrder(myValve, Pipe, myWaterflowIndicator) = TRUE
}
KS{
	getResult(NFSC503A_8_11_2_가) = TRUE
	getResult(NFSC503A_8_11_2_나) = TRUE
} 

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



Check(NFSC503A_8_12){

	IF !CS THEN KS

}

CS{

	WaterflowIndicator myWaterflowIndicator{

	isObjectProperty(WaterflowIndicator.type) = "PreactionWaterflowIndicator"

	}

	isInstalled(myWaterflowIndicator, SimpleSprinklerSystem) = TRUE

}

KS{

	getResult(NFSC503A_8_12_1) = TRUE

	getResult(NFSC503A_8_12_2) = TRUE

	getResult(NFSC503A_8_12_3) = TRUE

} 

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

Check(NFSC503A_8_13){
	KS
}
KS{
	getResult(NFSC503A_8_13_1) = TRUE
	getResult(NFSC503A_8_13_2) = TRUE
	getResult(NFSC503A_8_13_3) = TRUE
} 

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

Check(NFSC503A_8_15){
	KS
}
KS{
	getResult(NFSC503A_8_15_1) = TRUE
} 

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

Check(NFSC503A_8_16){
	KS
}
KS{
	getResult(NFSC503A_8_16_1) = TRUE
	getResult(NFSC503A_8_16_2) = TRUE
	getResult(NFSC503A_8_16_3) = TRUE
	getResult(NFSC503A_8_16_4) = TRUE
} 

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

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 



Check(NFSC503A_9){

	IF CS THEN KS

}

CS{

	isInstalled(SimpleSprinkler.Head, Building) = TRUE

}

KS{

	getResult(NFSC503A_9_1) = TRUE

	getResult(NFSC503A_9_3) = TRUE

	getResult(NFSC503A_9_4) = TRUE

	getResult(NFSC503A_9_6) = TRUE

	getResult(NFSC503A_9_8) = TRUE

	getResult(NFSC503A_9_9) = TRUE

} 

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 8호

Check(NFSC503A_9_0_8){
	IF CS THEN KS
}
CS{
	isInstalled(SimpleSprinklerSystem, SpecificFireFightingBuilding) = TRUE

}
KS{
	getResult(NFSC503_15_1) = TRUE
} 

// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 9호

Check(NFSC503A_9_0_9){
	IF CS THEN KS
}
CS{
	isExist(NFSC503A_6_0_7.mySpace) = TRUE
}
KS{
	Head myHead{
	isObjectProperty(Head.responseType) = "StandardResponseType"
	}
	isInstalled(myHead, NFSC503A_6_0_7.mySpace) = TRUE
	getResult(NFSC503_10) = TRUE
} 

//	간이스프링클러설비의 화재안전기준(NFSC 103A) 별표1 (간이헤드 수별 급수관의 구경) 1항

Check(NFSC103A_*_1){

	getResult(NFSC103A_*_1_1) = TRUE

	getResult(NFSC103A_*_1_2) = TRUE

	getResult(NFSC103A_*_1_3) = TRUE

	getResult(NFSC103A_*_1_4) = TRUE

}

	

	Pipe myPipe{

	getObjectProperty(Pipe.usage) = "WaterSupplyPipe"

	}

	Pipe myPipe2{

	isObjectProperty(Pipe.isBranchLines) = TRUE

	}

	PD = getObjectProperty(Pipe.diameter)

	SSHN = getObjectCount(SimpleSprinkler.Head.)



Check(NFSC103A_*_1_2){

	IF CS THEN KS

}

CS{

	Head myHead{

	getObjectProperty(SimpleSprinkler.Head.openAndCloseType) = "EnclosedType"

	}

	isInstalled(myHead) = TRUE

}

KS{

	IF PD = 25 THEN SSHN = 2

	OR IF PD = 32 THEN SSHN = 3

	OR IF PD = 40 THEN SSHN = 5

	OR IF PD = 50 THEN SSHN = 10

	OR IF PD = 65 THEN SSHN = 30

	OR IF PD = 80 THEN SSHN = 60

	OR IF PD = 100 THEN SSHN = 100

	OR IF PD = 125 THEN SSHN = 160

	OR IF PD = 150 THEN SSHN >= 161

}

Check(NFSC103A_*_1_3){

	IF CS THEN KS

}

CS{

	Head myHead1{

	getObjectProperty(SimpleSprinkler.Head.openAndCloseType) = "EnclosedType"

	}

	isInstalled(myHead1) = TRUE

	Head myHead2{

	getObjectVerticalLocation(Head, CeilingCovering, )  <  0
	}

	Head myHead3{

	isInstalled(Head, CeilingCovering.Inside) = TRUE

	}

	isInstalled(myHead2, myPipe2) = TRUE

	isInstalled(myHead3, myPipe2) = TRUE

}

KS{

	IF PD = 25 THEN SSHN = 2

	OR IF PD = 32 THEN SSHN = 4

	OR IF PD = 40 THEN SSHN = 7

	OR IF PD = 50 THEN SSHN = 15

	OR IF PD = 65 THEN SSHN = 30

	OR IF PD = 80 THEN SSHN = 60

	OR IF PD = 100 THEN SSHN = 100

	OR IF PD = 125 THEN SSHN = 160

	OR IF PD = 150 THEN SSHN >= 161

} 

//	자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 2항
Check(NFSC203_7_2){
	IF CS THEN KS
}

	Sensor mySensor{
		getResult(NFSC203_7_1_1) = TRUE
		OR getResult(NFSC203_7_1_2) = TRUE
		OR getResult(NFSC203_7_1_3) = TRUE
		OR getResult(NFSC203_7_1_4) = TRUE
		OR getResult(NFSC203_7_1_5) = TRUE
		OR getResult(NFSC203_7_1_6) = TRUE
		OR getResult(NFSC203_7_1_7) = TRUE
		OR getResult(NFSC203_7_1_8) = TRUE
	}

CS{
	isInstalled(mySensor) = FALSE
	getResult(NFSC203_7_2_1) = TRUE
	OR getResult(NFSC203_7_2_2) = TRUE
	OR getResult(NFSC203_7_2_3) = TRUE
}

KS{
	isInstalled(SmokeSensor) = TRUE
} 

//	자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항
Check(NFSC203_7_3){
	KS
}

KS{
	getResult(NFSC203_7_3_1) = TRUE
	getResult(NFSC203_7_3_2) = TRUE
	getResult(NFSC203_7_3_5) = TRUE
	getResult(NFSC203_7_3_6) = TRUE
	getResult(NFSC203_7_3_7) = TRUE
	getResult(NFSC203_7_3_8) = TRUE
	getResult(NFSC203_7_3_9) = TRUE
	getResult(NFSC203_7_3_10) = TRUE
	getResult(NFSC203_7_3_11) = TRUE
	getResult(NFSC203_7_3_12) = TRUE
	getResult(NFSC203_7_3_13) = TRUE
	getResult(NFSC203_7_3_15) = TRUE
} 

자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 6호

Check(NFSC203_7_3_7){

	IF CS THEN KS

}

CS{

	Sensor mySensor{

	getObjectProperty(Sensor.lineTypeEnum) = "ThermopneumaticTube"

	getObjectProperty(Sensor.sensingMode) = "DifferentialTemperatureType"

	getObjectProperty(Sensor.sensingRange) = "SpotType"

	}

	isInstalled(mySensor) = TRUE

}

KS{

	

	getResult(NFSC_7_3_7_1) = TRUE

	getResult(NFSC_7_3_7_2) = TRUE

	getResult(NFSC_7_3_7_3) = TRUE

	getResult(NFSC_7_3_7_4) = TRUE

	getResult(NFSC_7_3_7_5) = TRUE

	getResult(NFSC_7_3_7_6) = TRUE

} 

//	자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 8호
Check(NFSC203_7_3_8){
	KS
}

KS{
	getResult(NFSC203_7_3_8_1) = TRUE
	getResult(NFSC203_7_3_8_2) = TRUE
} 

//	자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 9호
Check(NFSC203_7_3_9){
	KS
}

KS{
	getResult(NFSC203_7_3_9_1) = TRUE
	getResult(NFSC203_7_3_9_2) = TRUE
} 

//	자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 10호
Check(NFSC203_7_3_10){
	KS
}

KS{
	getResult(NFSC203_7_3_10_1) = TRUE
	getResult(NFSC203_7_3_10_2) = TRUE
	getResult(NFSC203_7_3_10_5) = TRUE
} 

자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 11호



Check(NFSC203_7_3_11){

	IF (CS1 THEN KS1) OR (CS2 THEN KS2) OR (CS3 THEN KS3)

}

CS1{

	getObjectProperty(Sensor.isIntegratedType) = "HeatIntegratedType"

}

KS1{

	getResult(NFSC203_7_3_3) = TRUE

	OR getResult(NFSC203_7_3_9) = TRUE

}	

CS2{

	getObjectProperty(Sensor.isIntegratedType) = "SmokeIntegratedType"

}

KS2{

	getResult(NFSC203_7_3_10) = TRUE

}	

CS3{

	getObjectProperty(Sensor.isIntegratedType) = "HeatAndSmokeIntegratedType"

}

KS3{

	getResult(NFSC203_7_3_5) = TRUE

	OR (getResult(NFSC203_7_3_10_나) = TRUE

	OR getResult(NFSC203_7_3_10_마) = TRUE)

} 

//	자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 12호
Check(NFSC203_7_3_12){
	KS
}

KS{
	getResult(NFSC203_7_3_12_2) = TRUE
	getResult(NFSC203_7_3_12_3) = TRUE
	getResult(NFSC203_7_3_12_4) = TRUE
} 

//	자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 13호
Check(NFSC203_7_3_13){
	KS
}

KS{
	getResult(NFSC203_7_3_13_4) = TRUE
} 

//	자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 15호
Check(NFSC203_7_3_15){
	KS
}

KS{
	getResult(NFSC203_7_3_15_1) = TRUE
	getResult(NFSC203_7_3_15_2) = TRUE
	getResult(NFSC203_7_3_15_3) = TRUE
	getResult(NFSC203_7_3_15_4) = TRUE
} 

자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 4항

Check(NFSC203_7_4){
	IF CS THEN KS
}
CS{
	getResult(NFSC203_7_4_1) = TRUE
	OR getResult(NFSC203_7_4_2) = TRUE
}
KS{
	Sensor mySensor1{
	getObjectProperty(Sensor.sensingMode) = "PhotoelectricType"
	getObjectProperty(Sensor.sensingRange) = "SeparateType"
	}	
	Sensor mySensor2{
	getObjectProperty(Sensor.sensingMode) = "PhotoelectricType"
	getObjectProperty(Sensor.sensingRange) = "AspiratingType"
	}

	isInstalled(mySensor1) = TRUE
	OR isInstalled(mySensor2) = TRUE
} 

자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 5항

Check(NFSC203_7_5){
	KS
}
KS{
	getResult(NFSC203_7_5_1) = TRUE
	OR getResult(NFSC203_7_5_2) = TRUE
	OR getResult(NFSC203_7_5_5) = TRUE
	OR getResult(NFSC203_7_5_6) = TRUE
	OR getResult(NFSC203_7_5_8) = TRUE
	OR getResult(NFSC203_7_5_9) = TRUE
}
 

자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 6항 

Check(NFSC203_7_6){
	IF CS THEN KS
}
CS{
	isInstalled(Sensor, Underground) = TRUE
}
KS{
	getResult(NFSC203_7_1_1) = TRUE
	OR getResult(NFSC203_7_1_2) = TRUE
	OR getResult(NFSC203_7_1_3) = TRUE
	OR getResult(NFSC203_7_1_4) = TRUE
	OR getResult(NFSC203_7_1_5) = TRUE
	OR getResult(NFSC203_7_1_6) = TRUE
	OR getResult(NFSC203_7_1_7) = TRUE
	OR getResult(NFSC203_7_1_8) = TRUE
}
 

//연결송수관설비의 화재안전기준(NFSC 502) 4조 (송수구)

Check(NFSC502_4){
       KS
}

KS{
     getResult(NFSC502_4_0_2)=True
     getResult(NFSC502_4_0_4)=True
     getResult(NFSC502_4_0_5)=True
     getResult(NFSC502_4_0_7)=True
     getResult(NFSC502_4_0_8)=True
} 

//연결송수관설비의 화재안전기준(NFSC 502) 4조 (송수구) 8호

Check(NFSC502_4_0_8){
   KS
}

KS{
   getResult(NFSC502_4_0_8_가)=True
   getResult(NFSC502_4_0_8_나)=True
} 

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

Check(NFSC502_5_1){
           KS
}

KS{
   getResult(NFSC502_5_1_1)=True
   getResult(NFSC502_5_1_2)=True
}

 

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

Check(NFSC502_5_2){
         KS
}

KS{
    getResult(NFSC502_5_2_1)=True
    OR getResult(NFSC502_5_2_2)=True
} 

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

Check(NFSC502_5_2_1){
        IF CS THEN KS
}

CS{
   getObjectProperty(Pipe.workingPressure)<1.2 MPa 

}

KS{
     getResult(NFSC502_5_2_1_가)=True
     OR getResult(NFSC502_5_2_1_나)=True
     OR getResult(NFSC502_5_2_1_다)=True
} 

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

Check(NFSC502_5_3){
     IF CS THEN KS
}
CS{
    getResult(NFSC502_5_3_2)=True
    OR getResult(NFSC502_5_3_3)=True
}

KS{

isObejctProperty(Pipe.isSyntheticResinForfirefighting)=True

} 

//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구)



Check(NFSC502_6){

    KS

}



KS{

    getResult(NFSC502_6_1)=True

    getResult(NFSC502_6_2)=True

    getResult(NFSC502_6_3)=True

    getResult(NFSC502_6_4)=True

    getResult(NFSC502_6_5)=True

    getResult(NFSC502_6_6)=True

    getResult(NFSC502_6_7)=True



}