|  | 1 
 | 72696 | 건축물의 에너지절약설계기준 제 5조 9호 가 목 
 가. "거실”이라 함은 건축물 안에서 거주(단위 세대 내 욕실·화장실·현관을 포함한다)·집무·작업·집회·오락 기타 이와 유사한 목적을 위하여 사용되는 방을 말하나, 특별히 이 기준에서는 거실이 아닌 냉·난방공간 또한 거실에 포함한다.
 | 
| 
//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 9항
Check(NFSC503A_6_9){
	KS
}
KS{
	Valve myValve1{
	isObjectProperty(Valve.isCheckValve) = TRUE
	}
	PP = getObjectProperty(Pump.shutoffPressure)
	Valve myValve2{
	isObjectProperty(Valve.isReliefVavle) = TRUE
	isObjectProperty(Valve.reliefPressure) < PP
	}
	isInstalledInOrder(myValve1, Pipe, Pump) = TRUE
	isObjectProperty(Pipe.diameter) >= 20mm
	isInstalled(myValve2, Pipe) = TRUE
}
 
 | 
Python Code 변환 예정
 | 
 
 
 | Modify | 
|  | 2 
 | 72802 | 건축물의 에너지절약설계기준 제 9조 4호 
 4. 반송설비
 | 
| 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (수원) 2항 4호
Check(NFSC503A_5_2_4){
	IF !CS THEN KS
}
CS{
	getObjectVerticalLocation(WaterSource, Pump) > 0
	OR isObjectProperty(Pump.isVerticalPump) = TRUE
}
KS{
	Valve myValve{
	isObjectProperty(Valve.isCheckValve) = TRUE
	}
	isInstalled(Pump.Outlet, myValve) = TRUE
	isInstalledInOrder(PressureGauge, myValve) = TRUE
} 
 | 
Python Code 변환 예정
 | 
 
 
 | Modify | 
|  | 3 
 | 72844 | 건축물의 에너지절약설계기준 제 11조 3호 마 목 
 마. KS A 3011에 의한 작업면 표준조도를 확보하고 효율적인 조명설계에 의한 전력에너지를 절약한다.
 | 
| 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 7항
Check(NFSC503A_8_7){
	KS
}
KS{
	Valve myValve1{
	isObjectProperty(Valve.isCheckValve) = TRUE
	}
	PP = isObjectProperty(Pump.shutoffPressure)
	Valve myValve2{
	isObjectProperty(Valve.isReliefValve) = TRUE
	isObjectProperty(Valve.reliefPressure) < PP
	}
	isInstalledInOrder(myValve1, Pipe, Pump) = TRUE
	isObjectProperty(Pipe.diameter) >= 20mm
	isInstalled(myValve2, Pipe) = TRUE
} 
 | 
Python Code 변환 예정
 | 
 
 
 | Modify | 
|  | 4 
 | 72848 | 건축물의 에너지절약설계기준 제 11조 4호 다 목 
 다. 수변전설비는 종합감시제어 및 기록이 가능한 자동제어설비를 채택한다.
 | 
| 
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
} 
 | 
Python Code 변환 예정
 | 
 
 
 | Modify | 
|  | 5 
 | 72852 | 건축물의 에너지절약설계기준 제 12조 
 제12조(신·재생에너지 설비부문의 의무사항) 에너지절약계획서 제출대상 건축물에 신·재생에너지설비를 설치하는 경우 「신에너지 및 재생에너지 개발·이용·보급 촉진법」에 따른 산업통상자원부 고시 「신·재생에너지 설비의 지원 등에 관한 규정」을 따라야 한다.
 | 
| 
// 간이스프링클러설비의 화재안전기준(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
} 
 | 
Python Code 변환 예정
 | 
 
 
 | Modify | 
|  | 6 
 | 72867 | 건축물의 에너지절약설계기준 제 18조 2 항 
 ② 이미 건축허가를 받은 건축물의 건축주 또는 사업주체도 허가변경을 통하여 완화기준 적용 신청을 할 수 있다.
 | 
| 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 1호 가복
Check(NFSC503A_8_16_1_가){
	KS
}
KS{
	ShutdownEquipment myShutdownEquipment{
	isObjectProperty(ShutdownEquipment.type) = "Water"
	}
	Valve myValve1{
	isObjectProperty(Valve.isIndicatingValve) = TRUE
	}
	Valve myValve2{
	isObjectProperty(Valve.isCheckValve) = TRUE
	}
	Valve myValve3{
	isObjectProperty(Valve.isTestValve) = TRUE
	getObjectCount(Valve) = 2
	}
	isInstalledInOrder(WaterGauge, myShutdownEquipment, myValve1, myValve2, PressureGauge, WaterflowIndicator, myValve3) = TRUE
} 
 | 
Python Code 변환 예정
 | 
 
 
 | Modify | 
|  | 7 
 | 72869 | 건축물의 에너지절약설계기준 제 18조 4 항 
 ④ 완화기준의 신청을 받은 허가권자는 신청내용의 적합성을 검토하고, 신청자가 신청내용을 이행하도록 허가조건에 명시하여 허가하여야 한다.
 | 
| 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 2호
Check(NFSC503A_8_16_2){
	IF (!CS1 AND CS2) THEN KS
}
CS1{
	getObjectVerticalLocation(WaterSource, Pump) > 0
}
CS2{
	PressurizedWaterSupplySystem myPressurizedWaterSupplySystem{
	isObjectProperty(PressurizedWaterSupplySystem.supplyType) != "DirectCoupledType" OR "PressurizedTankType"
	}
	isInstalled(Pipe, myPressurizedWaterSupplySystem) = TRUE
	OR 	isInstalled(Valve, myPressurizedWaterSupplySystem) = TRUE
}
KS{
	Tank myTank{
	isObjectProperty(Tank.operationType) = "HydropneumaticTank"
	}
	Valve myValve1{
	isObjectProperty(Valve.isCheckValve) = TRUE
	}
	Valve myValve2{
	isObjectProperty(Valve.isIndicatingValve) = TRUE
	}
	Valve myValve3{
	isObjectProperty(Valve.isTestValve) = TRUE
	}
	Pipe myPipe{
	isObjectProperty(Pipe.isForTest) = TRUE
	}
	isInstalledInOrder(WaterSource,  CompoundGauge | VacuumGauge, Pump | myTank, PressureGauge, myValve1, myPipe, myValve2, WaterflowIndicator, myValve3) = TRUE
} 
 | 
Python Code 변환 예정
 | 
 
 
 | Modify | 
|  | 8 
 | 72870 | 건축물의 에너지절약설계기준 제 19조 1 항 
 제19조(인증의 취득) ① 신청인이 인증에 의해 완화기준을 적용받고자 하는 경우에는 인증기관으로부터 예비인증을 받아야 한다.
 | 
| 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 3호
Check(NFSC503A_8_16_3){
	IF CS THEN KS
}
CS{
	PressurizedWaterSupplySystem myPressurizedWaterSupplySystem{
	isObjectProperty(PressurizedWaterSupplySystem.supplyType) = "PressurizedTankType"
	}
	isInstalled(Pipe, myPressurizedWaterSupplySystem) = TRUE
	OR 	isInstalled(Valve, myPressurizedWaterSupplySystem) = TRUE
}
KS{
	Tank myTank{
	isObjectProperty(Tank.operationType) = "PressurizedTank"
	}
	Valve myValve1{
	isObjectProperty(Valve.isCheckValve) = TRUE
	}
	Valve myValve2{
	isObjectProperty(Valve.isIndicatingValve) = TRUE
	}
	Valve myValve3{
	isObjectProperty(Valve.isTestValve) = TRUE
	getObjectCount(Valve) = 2
	}
	Pipe myPipe{
	isObjectProperty(Pipe.isForTest) = TRUE
	}
	isInstalledInOrder(WaterSource,  myTank, PressureGauge, myValve1, myPipe, myValve2, WaterflowIndicator, myValve3) = TRUE
} 
 | 
Python Code 변환 예정
 | 
 
 
 | Modify | 
|  | 9 
 | 72871 | 건축물의 에너지절약설계기준 제 19조 2 항 
 ② 완화기준을 적용받은 건축주 또는 사업주체는 건축물의 사용승인 신청 이전에 본인증을 취득하여 사용승인 신청 시 허가권자에게 인증서 사본을 제출하여야 한다. 단, 본인증의 등급은 예비인증 등급 이상으로 취득하여야 한다.
 | 
| 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 4호
Check(NFSC503A_8_16_4){
	IF (!CS1 AND CS2) THEN KS
}
CS1{
	getObjectVerticalLocation(WaterSource, Pump) > 0
}
CS2{
	SimpleSprinklerSystem mySimpleSprinklerSystem{
	isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE
	}
	isInstalled(Pipe, mySimpleSprinklerSystem.PressurizedWaterSupplySystem) = TRUE
	OR 	isInstalled(Valve, mySimpleSprinklerSystem.PressurizedWaterSupplySystem) = TRUE
}
KS{
	Tank myTank{
	isObjectProperty(Tank.operationType) = "HydropneumaticTank"
	}
	Valve myValve1{
	isObjectProperty(Valve.isCheckValve) = TRUE
	}
	Valve myValve2{
	isObjectProperty(Valve.isIndicatingValve) = TRUE
	}
	Valve myValve3{
	isObjectProperty(Valve.isTestValve) = TRUE
	getObjectCount(Valve) = 2
	}
	isInstalledInOrder(WaterSource,  CompoundGauge | VacuumGauge, Pump | myTank, PressureGauge, myValve1, myPipe, myValve2, myValve3) = TRUE
} 
 | 
Python Code 변환 예정
 | 
 
 
 | Modify | 
|  | 10 
 | 19917 | 연결살수설비의 화재안전기준(NFSC 503) 제 4조 3 항 1호 
 1. 폐쇄형헤드를 사용하는 설비의 경우에는 송수구·자동배수밸브·체크밸브의 순으로 설치할 것
 | 
| 
//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 1호
Check(NFSC503_4_3_1){
	IF CS THEN KS
}
CS{
	Head myHead{
	getObjectProperty(Head.openAndCloseType) = "EnclosedType"	
	}
	getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem"
}
KS{
	Port myPort{ 
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
	getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" 
 	}
 	Valve myValve1{
	isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE
	}
	Valve myValve2{
	isObjectProperty(Valve.isCheckValve) = TRUE
	}
	isInstalledInOrder(myPort, myValve1, myValve2) = TRUE
} 
 | 
Python Code 변환 예정
 | 
 
 
 | Modify | 
|  | 11 
 | 19918 | 연결살수설비의 화재안전기준(NFSC 503) 제 4조 3 항 2호 
 2. 개방형헤드를 사용하는 설비의 경우에는 송수구·자동배수밸브의 순으로 설치할 것
 | 
| 
//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 2호
Check(NFSC503_4_3_2){
	IF CS THEN KS
}
CS{
	Head myHead{
	getObjectProperty(Head.openAndCloseType) = "OpenType"	
	}
	getObjectProperty(myHead.systemType) = "HookingUpSprinklerSystem"
}
KS{
	Port myPort{ 
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
	getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" 
 	}
 	Valve myValve1{
	isObjectProperty(Valve.isAutomiaticDeliveryValve) = TRUE
	}
	isInstalledInOrder(myPort, myValve1) = TRUE
} 
 | 
Python Code 변환 예정
 | 
 
 
 | Modify |