1  
19392 
 
건축물의 설비기준 등에 관한 규칙 제 13조 1 항 7호 
 
 
//건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 7호
Check(RFB_13_1_7){
	KS
}
KS{
	isFireResistantStructure(GasDuct) = TRUE
	isShared(  
 
 
 
Python Code 변환 예정
 
 
 
 
 
	Modify 
 
 
 
2  
72692 
 
건축물의 에너지절약설계기준 제 5조 6호 
 
 
//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 7항
Check(NFSC503A_6_7){
	IF CS THEN KS
}
CS{
	Pipe.isShared(  
 
 
 
Python Code 변환 예정
 
 
 
 
 
	Modify 
 
 
 
3  
72699 
 
건축물의 에너지절약설계기준 제 5조 9호 너 목
 
 
//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항 2호
Check(NFSC503A_6_13_2){
 IF !CS THEN KS 
}
CS{
	isShared( isShared(  
 
 
 
Python Code 변환 예정
 
 
 
 
 
	Modify 
 
 
 
4  
72789 
 
건축물의 에너지절약설계기준 제 9조 
 
 
//	스프링클러설비의 화재안전기준(NFSC 103) 16조 (수원 및 가압송수장치의 펌프 등의 겸용) 2항
Check(NFSC103_16_2){
	IF CS THEN KS
}
	Pump myPump{
		isInstalled(SprinklerSystem, PressurizedWaterSupplySystem) = TRUE
		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
	}
	Pump myPump2{
		isInstalled(IndoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE
		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
	}
	Pump myPump3{
		isInstalled(SimpleSprinklerSystem, PressurizedWaterSupplySystem) = TRUE
		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
	}
	Pump myPump4{
		isInstalled(SprinklerSystemForEarlyFireSuppression, PressurizedWaterSupplySystem) = TRUE
		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
	}
	Pump myPump5{
		isInstalled(WaterSprayExtingushingSystem, PressurizedWaterSupplySystem) = TRUE
		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
	}
	Pump myPump6{
		isInstalled(FoamExtinguishingSystem, PressurizedWaterSupplySystem) = TRUE
		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
	}
	Pump myPump7{
		isInstalled(OutdoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE
		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"
	}
CS{
	isShared( isShared( isShared( isShared( isShared( isShared(  
 
 
 
Python Code 변환 예정
 
 
 
 
 
	Modify 
 
 
 
5  
72840 
 
건축물의 에너지절약설계기준 제 11조 3호 가 목
 
 
//간이스프링클러설비의 화재안전기준(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(  
 
 
 
Python Code 변환 예정
 
 
 
 
 
	Modify 
 
 
 
6  
37379 
 
건축법 시행령 제 47조 2 항 
 
 
//건축법 시행령 47조 (방화에 장애가 되는 용도의 제한) 2항 
Check(EDBA_47_2){
      KS
}
  Space  myFacility{
    getResult(EDBA_47_2_1)=True
  } 
  Space  myFacility2{
    OR getResult(EDBA_47_2_2)=True
  } 
     
KS{
    isShared(  
 
 
 
Python Code 변환 예정
 
 
 
 
 
	Modify 
 
 
 
7  
19915 
 
연결살수설비의 화재안전기준(NFSC 503) 제 4조 1 항 5호 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 5호
Check(NFSC503_4_1_5){
 IF !CS THEN KS 
}
CS{
Pipe myPipe1{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
}
Pipe myPipe2{
getObjectProperty(Port.systemType) = "SprinklerSystem"
}
Pipe myPipe3{
getObjectProperty(Port.systemType) = "WaterSprayExtingushingSystem"
}
Pipe myPipe4{
getObjectProperty(Port.systemType) = "FoamExtinguishingSystem"
}
Pipe myPipe5{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
}
Pipe myPipe6{
getObjectProperty(Port.systemType) = "FireDepartmentConnectionSystem"
}
	isShared( isShared(  
 
 
 
Python Code 변환 예정
 
 
 
 
 
	Modify 
 
 
 
8  
20481 
 
연결송수관설비의 화재안전기준(NFSC 502) 제 5조 4 항 
 
 
//연결송수관설비의 화재안전기준(NFSC 502) 5조 (배관) 4항
Check(NFSC502_5_4){
	IF CS THEN KS
}
CS2{
	isObjectProperty(Pipe.systemType) = "FireDepartmentConnectionSystem"
}
KS{
	Pipe myPipe1{
	isObjectProperty(Pipe.isRiser) = TRUE
	getObjectProperty(Pipe.diameter) >= 100mm
	isObjectProperty(Pipe.systemType) = "IndoorFireHydrantSystem"
	}
	Pipe myPipe2{
	isObjectProperty(Pipe.isRiser) = TRUE
	getObjectProperty(Pipe.diameter) >= 100mm
	isObjectProperty(Pipe.systemType) = "WaterSprayExtingushingSystem"
	}
	isShared( isShared( isShared( isShared(  
 
 
 
Python Code 변환 예정
 
 
 
 
 
	Modify