1  
9259  
 
소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 제 4조 8호 가 목
 
 
//소화기구 및 자동 소화장치의 화재안전기준(nfsc 101) 4조 (설치기준) 1항 8호 가목
Check(NFSC101_4_1_8_가){
	KS
}
Zone myZone{
	isObjectProperty(Zone.isProtectionZone)=TRUE
}
02.m <= getObjectVerticalDistance(myZone.FloorSlab, AutomaticFireExtinguishingEquipment.Head  
 
 
  
 
   
	Modify 
 
 
		
 
2  
9325  
 
연결살수설비의 화재안전기준(nfsc 503) 제 4조 1 항 2호 
 
 
//  연결살수설비의 화재안전기준(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 Head  
 
 
  
 
   
	Modify 
 
 
		
 
3  
9326  
 
연결살수설비의 화재안전기준(nfsc 503) 제 4조 1 항 3호 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 1항 3호
Check(NFSC503_4_1_3){
 IF !CS THEN KS 
}
	Zone myZone{
  isObjectProperty(Zone.isWaterSupplyZone)=TRUE
	}
CS{
	Valve myValve{
	isObjectProerpty(Valve.isSelectionValve) = TRUE
	}
	isInstalled(myValve) = TRUE
	hasObject(myZone,MainStructuralPart) = TRUE
	isFireResistantStructure(MainStructuralPart) = TRUE
}
KS{
	 Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
 getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" 
 }
	Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
4  
9336  
 
연결살수설비의 화재안전기준(nfsc 503) 제 4조 3 항 1호 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 1호
Check(NFSC503_4_3_1){
	IF CS THEN KS
}
CS{
	Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
5  
9337  
 
연결살수설비의 화재안전기준(nfsc 503) 제 4조 3 항 2호 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 3항 2호
Check(NFSC503_4_3_2){
	IF CS THEN KS
}
CS{
	Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
6  
9339  
 
연결살수설비의 화재안전기준(nfsc 503) 제 4조 4 항 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 4조 (송수구 등) 4항
Check(NFSC503_4_4){
	IF CS THEN KS
}
CS{
	Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
7  
9345  
 
연결살수설비의 화재안전기준(nfsc 503) 제 5조 2 항 1호 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 2항 1호
Check(NFSC503_5_2_1){
	IF CS THEN KS
}
CS{
getObjectProperty(Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
8  
9346  
 
연결살수설비의 화재안전기준(nfsc 503) 제 5조 2 항 1호 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 2항 1호
Check(NFSC503_5_2_1){
	IF CS THEN KS
}
CS{
getObjectProperty(Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
9  
9347  
 
연결살수설비의 화재안전기준(nfsc 503) 제 5조 2 항 2호 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 2항 2호
Check(NFSC503_5_2_2){
	IF CS THEN KS
}
CS{
	isObjectProperty(SprinklerSystem.Head  
 
 
  
 
   
	Modify 
 
 
		
 
10  
9348  
 
연결살수설비의 화재안전기준(nfsc 503) 제 5조 3 항 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 3항
Check(NFSC503_5_3){
	IF CS THEN KS
}
	Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
11  
9349  
 
연결살수설비의 화재안전기준(nfsc 503) 제 5조 4 항 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 4항
Check(NFSC503_5_4){
	IF CS THEN KS
}
CS{
	Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
12  
9352  
 
연결살수설비의 화재안전기준(nfsc 503) 제 5조 5 항 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 5항
Check(NFSC503_5_5){
	IF CS THEN KS
}
CS{
	Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
13  
9353  
 
연결살수설비의 화재안전기준(nfsc 503) 제 5조 6 항 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 6항
Check(NFSC503_5_6){
	IF CS THEN KS
}
	Pipe myPipe1{
	isObjectProperty(Pipe.isBranchLines) = TRUE
	}
	Pipe myPipe2{
	isObjectProperty(Pipe.isCrossMains) = TRUE
	}
	Pipe myPipe3{
	isObjectProperty(Pipe.isRiser) = TRUE
	}
CS{
	isInstalled(myPipe1) = TRUE 
	OR isInstalled(myPipe2) = TRUE
}
KS{
	Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
14  
9356  
 
연결살수설비의 화재안전기준(nfsc 503) 제 5조 9 항 
 
 
 //  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 9항
Check(NFSC503_5_9){
	IF CS THEN KS
}
CS{
	Pipe myPipe1{
	isObjectProperty(Pipe.isCrossMains) = TRUE
	isObjectProperty(Pipe.systemType) = "HookingUpSprinklerSystem")
	}
	Pipe myPipe2{
	isObjectProperty(Pipe.isBranchLines) = TRUE
	isObjectProperty(Pipe.systemType) = "HookingUpSprinklerSystem")
	}
	CleanOut myCleanOut{
	isObjectProperty(CleanOut.systemType) = "HookingUpSprinklerSystem")
	}
	isInstalled(myPipe1) = TRUE
	OR isInstalled(myPipe2.Head  
 
 
  
 
   
	Modify 
 
 
		
 
15  
9358  
 
연결살수설비의 화재안전기준(nfsc 503) 제 5조 9 항 2호 
 
 
 //  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 9항 2호
Check(NFSC503_5_9_2){
	IF CS THEN KS
}
CS{
	Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
16  
9359  
 
연결살수설비의 화재안전기준(nfsc 503) 제 5조 9 항 3호 
 
 
//  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 9항 3호
Check(NFSC503_5_9_3){
	IF CS THEN KS
}
	Head Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
17  
9361  
 
연결살수설비의 화재안전기준(nfsc 503) 제 5조 10 항 1호 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 1호
Check(NFSC503_5_10_1){
      KS
}
Pipe myPipe{
    isObjectProperty(Pipe.isBranchLines)=True
}
Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
18  
9366  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 1 항 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (배관 등) 1항
Check(NFSC503_6_1){
	KS
}
KS{
	getObjectProperty(HookingUpSprinklerSystem.Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
19  
9368  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 2 항 1호 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 2항 1호
Check(NFSC503_6_2_1){
	KS
}
KS{
	SprinklerHead Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
20  
9369  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 2 항 2호 
 
 
//	연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 2항 2호
Check(NFSC503_6_2_2){
	IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
CS1{
	Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
21  
9370  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 3 항 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항
Check(NFSC503_6_3){
	IF CS THEN KS
}
CS{
	Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
22  
9373  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 3 항 2호 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 2호
Check(NFSC503_6_3_2){
	KS
}
KS{
	isVacant(SprinklerHead Head  
 
 
  
 
   
	Modify 
 
 
		
 
23  
9374  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 3 항 3호 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 3호
Check(NFSC503_6_3_3){
	IF (CS1 THEN KS1) or (CS2 THEN KS2)
}
CS1{
	getObjectProperty(SprinklerHead Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
24  
9376  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 3 항 5호 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 5호
Check(NFSC503_6_3_5){
	IF !CS THEN KS
}
CS{
	getObjectProperty(SprinklerSystem.Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
25  
9378  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 3 항 6호 가 목
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 6호 가목
Check(NFSC503_6_3_6_1){
	IF CS THEN KS
}
CS{
	hasObject(Celing, SprinklerSystem.Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
26  
9379  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 3 항 6호 나 목
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 6호 나목
Check(NFSC503_6_3_6_2){
	IF (CS1 THEN KS1) or (CS2 THEN KS2)
}
CS1{
	hasObject(Ceiling, SprinklerHead Head Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
27  
9380  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 3 항 7호 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 7호
Check(NFSC503_6_3_7){
	IF (CS1 THEN KS1) or (CS2 THEN KS2)
}
CS1{
	Opening myOpening{
		isObjectProperty(Opening.isFireSpreading) = TRUE
	}
	isExist(myOpening) = TRUE
	getObjectWidth(myOpening, a) > 2.5m
}
KS1{
	(getObjectDistance(myOpening.InsideSurface, SprinklerSystem.Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
28  
9381  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 3 항 8호 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 8호
Check(NFSC503_6_3_8){
	IF CS THEN KS
}
CS{
	isObjectProperty(SprinklerSystem.type) != WetPipeSprinklerSystem
	(getResult(NFSC503_6_3_8_1) = FALSE
	OR getResult(NFSC503_6_3_8_2) = FALSE)
}
KS{
	mySprinklerHead Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
29  
9382  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 3 항 8호 가 목
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 8호 가목
Check(NFSC503_6_3_8_1){
	KS
}
KS{
	Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
30  
9384  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 3 항 8호 다 목
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 8호 다목
Check(NFSC503_6_3_8_3){
	KS
}
KS{
	Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
31  
9385  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 3 항 9호 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 3항 9호
Check(NFSC503_6_3_9){
	IF (CS1 THEN KS1) or (CS2 THEN KS2)
}
CS1{
	SprinklerHead Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
32  
9386  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 4 항 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 4항
Check(NFSC503_6_4){
	IF !(CS) THEN KS
}
CS{
	getFloorElevationHeight(?) = A
	getSpaceHeight(?) = B
	A + B <= 0
}
KS{
	hasSpace(?, HookingUpSprinklerSystem.Head  
 
 
  
 
   
	Modify 
 
 
		
 
33  
9387  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 4 항 1호 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 4항 1호
Check(NFSC503_6_4_1){
	KS
}
KS{
	getObjectProperty(HookingUpSprinklerSystem.Head  
 
 
  
 
   
	Modify 
 
 
		
 
34  
9388  
 
연결살수설비의 화재안전기준(nfsc 503) 제 6조 4 항 2호 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 6조 (연결살수설비의 헤드) 4항 2호
Check(NFSC503_6_4_2){
	KS
}
KS{
	getObjectWidth(HookingUpSprinklerSystem.Head  
 
 
  
 
   
	Modify 
 
 
		
 
35  
9390  
 
연결살수설비의 화재안전기준(nfsc 503) 제 7조 
 
 
//연결살수설비의 화재안전기준(nfsc 503) 7조 (헤드의 설치제외) 
Check(NFSC503_7){
	IF CS THEN KS
}
CS{
	getResult(NFSC503_7_0_3) = TRUE
	OR getResult(NFSC503_7_0_5) = TURE
}
KS{
	isInstalled(HookingUpSprinklerSystem.Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
36  
10960  
 
연소방지설비의 화재안전기준(nfsc 506) 제 4조 4 항 1호 
 
 
//연소방지설비의 화재안전 기준(nfsc 506) 4조 (배관) 4항 1호
Check(NFSC506_4_4_1){
	IF CS THEN KS
}
CS{
	isInstalled(CombustionProtectionSystem, ?) = TRUE
}
KS{
	Pipe myPipe{
		hasObject(CombustionProtectionSystem, Pipe) = TRUE
	}
	SprinklerHead Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
37  
10962  
 
연소방지설비의 화재안전기준(nfsc 506) 제 4조 4 항 2호 
 
 
//  연소방지설비의 화재안전기준(nfsc 506) 4조 (배관) 4항 2호
Check(NFSC506_4_4_2){
	IF CS THEN KS
}
CS{
	isObjectProperty(Sprinkler.Head  
 
 
  
 
   
	Modify 
 
 
		
 
38  
10967  
 
연소방지설비의 화재안전기준(nfsc 506) 제 4조 6 항 3호 
 
 
//연소방지설비의 화재안전 기준(nfsc 506) 4조 (배관) 6항 3호
Check(NFSC506_4_6_3){
	IF CS THEN KS
}
CS{
	Pipe myPipe{
		hasObject(CombustionProtectionSystem, Pipe) = TRUE
		isObjectProperty(Pipe.isBranchLines) = TRUE
	}
	Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
39  
10969  
 
연소방지설비의 화재안전기준(nfsc 506) 제 4조 7 항 1호 
 
 
//  연소방지설비의 화재안전기준(nfsc 506) 4조 (배관) 7항 1호
Check(NFSC506_4_7_1){
	IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
CS1{
	Pipe myPipe{
		isObjectProperty(Pipe.isBranchLines) = TRUE
	}
	Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
40  
10970  
 
연소방지설비의 화재안전기준(nfsc 506) 제 4조 7 항 2호 
 
 
//  연소방지설비의 화재안전기준(nfsc 506) 4조 (배관) 7항 2호
Check(NFSC506_4_7_2){
	IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
CS1{
	Pipe myPipe{
		isObjectProperty(Pipe.isBranchLines) = TRUE
		getObjectInterval(Pipe) <= 4.5m
	}
	Pipe myPipe2{
		isObjectProperty(Pipe.isCrossMains) = TRUE
	}
	isConnectedTo(myPipe, myPipe2) = TRUE
}
KS1{
	Pipe myPipe{
		isObjectProperty(Pipe.isBranchLines) = TRUE
		getObjectInterval(Pipe) <= 4.5m
	}
	Pipe myPipe2{
		isObjectProperty(Pipe.isCrossMains) = TRUE
	}
	Hanger myHanger{
		isInstalled(Hanger, myPipe2) = TRUE
	}
	getObjectCountInInterval(myHanger,myPipe) >=1
}
CS2{
	Pipe myPipe{
		isObjectProperty(Pipe.isBranchLines) = TRUE
		getObjectInterval(Pipe) > 4.5m
	}
	Pipe myPipe2{
		isObjectProperty(Pipe.isCrossMains) = TRUE
	}
	isConnectedTo(myPipe, myPipe2) = TRUE
}
KS2{
	Pipe myPipe{
		isObjectProperty(Pipe.isBranchLines) = TRUE
		getObjectInterval(Pipe) > 4.5m
	}
	Pipe myPipe2{
		isObjectProperty(Pipe.isCrossMains) = TRUE
	}
	Hanger myHanger{
		isInstalled(Hanger, myPipe2) = TRUE
	}
	getObjectCountInInterval(myHanger,myPipe) >=1
	getObjectInterval(myPipe) = OIP
	OIP/4.5 = OIPP
	(OIPP-1) <= getObjectCountInInterval(Hanger, myHead  
 
 
  
 
   
	Modify 
 
 
		
 
41  
10976  
 
연소방지설비의 화재안전기준(nfsc 506) 제 5조 1호 
 
 
//	연소방지설비의 화재안전기준(nfsc 506) 5조 (방수헤드) 1호
Check(NFSC506_5_0_1){
	KS
}
KS{
	Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
42  
10977  
 
연소방지설비의 화재안전기준(nfsc 506) 제 5조 2호 
 
 
//	연소방지설비의 화재안전기준(nfsc 506) 5조 (방수헤드) 1호
Check(NFSC506_5_0_2){
	IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
CS1{
Head Head Head Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
43  
10978  
 
연소방지설비의 화재안전기준(nfsc 506) 제 5조 3호 
 
 
//연소방지설비의 화재안전기준(nfsc 506) 5조 (방수헤드) 3호
Check(NFSC506_5_0_3){
	 KS 
}
KS{
  Zone myZone{
    isObjectProperty(Zone.isWateringZone)=True
  }
  Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
44  
14559  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 6조 
 
 
// 스프링클러설비의 화재안전기준(NFSC 103) 6조 (폐쇄형스프링클러설비의 방호구역·유수검지장치) 
Check(NFSC103_6){
      IF CS THEN KS
}
CS{
  
getObjectProperty(SprinklerSystem.Head  
 
 
  
 
   
	Modify 
 
 
		
 
45  
14562  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 6조 3호 
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 6조 (폐쇄형스프링클러설비의 방호구역·유수검지장치) 3호
Check(NFSC103_6_0_3){
    IF CS THEN KS1 ELSE KS2 
}
CS{
Building myBuilding{
Building.usage = "MultiUnitHouse"
}
     getObjectCount(Floor.One, SprinklerHead  
 
 
  
 
   
	Modify 
 
 
		
 
46  
14566  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 6조 7호 
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 6조 (폐쇄형스프링클러설비의 방호구역·유수검지장치) 7호
Check(NFSC103_6_0_7){
       IF CS THEN KS
}
CS{
   SprinklerHead Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
47  
14570  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 7조 3호 
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 7조 (개방형스프링클러설비의 방수구역 및 일제개방밸브) 3호
NFSC103_7_0_3{
      IF CS THEN KS1 ELSE KS2
}
CS{
 getObjectCount(myZone)>=2
}
KS1{
  getObjectCount(SprinklerSystem.Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
48  
14662  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 1 항 
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 1항
Check(NFSC_10_1){
KS2 AND IF CS THEN KS1
KS2{
Space mySpace1{
천장과반자사이
}
hasElement(SpecificFireFightingBuilding.Ceiling,SprinklerHead Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
49  
14663  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 2 항 
 
 
//	스프링클러설비의 화재안전기준(NFSC 103) 10조 (음향장치 및 기동장치) 2항
Check(NFSC103_10_2){
	IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
CS1{
Space.usage = "RackWarehouse"
isObjectProperty(Space.hasSpecialCombustible) = TRUE
}
KS1{
	getObjectHeight(Rack) / 4 = RH
	(RH-1) <= getObjectCount(SprinklerHead Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
50  
14665  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 3 항 1호 
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 10조 3항 1호
check(NFSC103_10_3_1){
IF CS THEN KS
}
Space mySpace1{
Space.usage="StagePart"
OR isObjectProperty(Space.hasSpecialCombustible)=TRUE
}
CS{
isExist(PlenumSpace)=TRUE
}
KS{
getHorizontalDistance(Ceiling | CeilingCovering | mySpace2 | Duct | Shelf,SprinklerSystem.Head  
 
 
  
 
   
	Modify 
 
 
		
 
51  
14666  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 3 항 2호 
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 10조 3항 2호
check(NFSC103_10_3_2){
IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
Space mySpace1{
Space.usage="RackWarehouse"
Space mySpace2{
Space.usage="RackWarehouse"
isObjectProperty(Space.hasSpecialCombustible)=TRUE
}
CS1{
isExist(mySpace1)=TRUE
}
KS1{
getHorizontalDistance(Ceiling|CeilingCovering|PlenumSpace|Duct|Shelf,SprinklerHead Head  
 
 
  
 
   
	Modify 
 
 
		
 
52  
14667  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 3 항 3호 
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 10조 3항 3호
check(NFSC103_10_3_3){
	IF (CS) THEN KS ENDIF
}
CS{
	getBuildingUsage() = "MultiUnitHouse"
}
KS{
	Space mySpace = getObject(Room)
			
	getObjectVerticalDistance(mySpace.Ceiling, SprinklerHead Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
53  
14668  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 3 항 4호 
 
 
//스프링클러설비의 화재안전기준(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 Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
54  
14670  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 5 항 
 
 
Check(NFCS103_10_5){
IF CS THEN KS
}
CS{
getResult(NFCS103_10_5_1)
OR getResult(NFCS103_10_5_2)
}
KS{
Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
55  
14675  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 7 항 1호 
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 10조 7호 1항
check(NFSC103_10_7_1){
	KS
}
KS{
	getObjectDistance(Wall, SprinklerHead Head  
 
 
  
 
   
	Modify 
 
 
		
 
56  
14676  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 7 항 2호 
 
 
Check(NFCS103){
KS}
KS{
getObjectDistance(SprinklerHead  
 
 
  
 
   
	Modify 
 
 
		
 
57  
14677  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 7 항 3호 
 
 
Check(NFCS103_10_7_3){
IF !CS THEN KS
}
objectDistance myObjectDistance1{
getObjectDistance(SprinklerHead Head  
 
 
  
 
   
	Modify 
 
 
		
 
58  
14678  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 7 항 4호 
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 7항4호
Check(NFSC103_10_7_4){
  IF !CS THEN KS 
}
CS{
   getObjectProperty(SprinklerHead Head  
 
 
  
 
   
	Modify 
 
 
		
 
59  
14680  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 7 항 5호 가 목
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 7항5호
Check(NFSC103_10_7_5_1){
   IF CS THEN KS
}
CS{
   isInstalled(SprinklerHead Head  
 
 
  
 
   
	Modify 
 
 
		
 
60  
14681  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 7 항 5호 나 목
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 10조 (헤드) 7항5호 나목
Check(NFSC103_10_7_5_2){
    IF CS THEN KS
}
CS{
   isInstalled(Celling,BranchPipe,b)=TRUE
}
KS{
   BD=getElementDistance(BranchPipe, c)
   SD=getElementDistance(SprinklerHead Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
61  
14682  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 7 항 6호 
 
 
//스프링클러설비의 화재안전기준(nfsc 103) 10조 (헤드) 7항 6호
Check(NFSC103_10_7_6){
	IF (CS1 THEN KS1) or (CS2 THEN KS2)
}
CS1{
	isObjectProperty(Opening.isFireSpreading)=TRUE
	getObjectWidth(Opening, a) > 2.5m
}
KS2{
	isInstalled(Opening, Sprinkler.Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
62  
14683  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 7 항 7호 
 
 
//스프링클러설비의 화재안전기준(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 Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
63  
14684  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 7 항 7호 가 목
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 10조 7항 7호 가목
check(NFSC103_10_7_7_가){
KS
}
KS{
SprinklerHead Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
64  
14686  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 7 항 7호 다 목
 
 
//스프링클러설비의 화재안전기준(NFSC 103) 10조 7항 7호 다목
check(NFSC103_10_7_7_다){
KS
}
KS{
SprinklerHead Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
65  
14687  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 7 항 8호 
 
 
//스프링클러설비의 화재안전기준 10조 (헤드) 7항 8호
check(NFSC103_10_7_8){
	IF CS THEN KS
}
SprinklerHead Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
66  
14689  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 10조 8 항 
 
 
//스프링클러설비의 화재안전기준 10조 (헤드) 8항
check(NFSC103_10_8){
	(IF !(CS1) THEN KS1) or (IF CS1 THEN KS2)
}
KS1{
	Beam myBeam{
		hasObject(SpecificFireFightingBuilding, Beam) = TRUE
	}
	getElementDistance(myBeam, SprinklerHead Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
67  
14695  
 
스프링클러설비의 화재안전기준(NFSC 103) 제 11조 5호 
 
 
//스프링클러설비의 화재안전기준(nfsc 103) 11조 (송수구) 5호
Check(NFSC103_11_0_5){
	IF CS THEN KS
}
CS{
	isObject(Sprinkler.Head  
 
 
  
 
   
	Modify 
 
 
		
 
68  
14864  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 5조 3 항 1호 
 
 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 3항 1호
Check(NFSC503A_5_3_1){
	KS
}
KS{
	Tank myTank{
	isObjectProperty(Tank.operationType) = "ElevatedWaterTank"
	}
	Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
69  
14879  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 6조 3호 
 
 
//간이스프링클러설비의 화재안전기준(nfsc 103a) 6조 (간이스프링클러설비의 방호구역·유수검지장치) 3호
Check(NFSC503A_6_0_3){
	IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
	Zone myZone{
	isObjectProperty(Zone.isProtectionZone) = TRUE
	}
CS1{
	getObjectCount(Floor.One.SimpleSprinklerHead Head  
 
 
  
 
   
	Modify 
 
 
		
 
70  
14912  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 9 항 2호 
 
 
// 간이스프링클러설비의 화재안전기준(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 Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
71  
14915  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 9 항 3호 
 
 
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  
 
 
  
 
   
	Modify 
 
 
		
 
72  
14917  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 10 항 
 
 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 10항
Check(NFSC503A_8_10){
	IF CS THEN KS
}
	Pipe myPipe1{
	isObjectProperty(Pipe.isBranchLines) = TRUE
	}
	Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
73  
14926  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 12 항 2호 
 
 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 12항 2호
Check(NFSC503A_8_12_2){
	KS
}
KS{
	Pipe myPipe{
	isObjectProperty(Pipe.isForTest) = TRUE
	}
	Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
74  
14929  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 13 항 1호 
 
 
// 간이스프링클러설비의 화재안전기준(NFSC 103A) 8조 (배관 및 밸브) 13조 1호
Check(NFSC103A_8_13_1){
	IF(CS1 THEN KS1) OR (CS2 THEN KS2)
}
Pipe myPipe{
	isObjectProperty(Pipe.isBranchLines) = TRUE
}
CS1{
	getObjectInterval(SimpleSprinkler.Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
75  
14952  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 9조 
 
 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 
Check(NFSC503A_9){
	IF CS THEN KS
}
CS{
	isInstalled(SimpleSprinkler.Head  
 
 
  
 
   
	Modify 
 
 
		
 
76  
14953  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 9조 1호 
 
 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 1항
Check(NFSC503A_9_1){
	KS
}
KS{
	isObjectProperty(SimpleSprinkler.Head  
 
 
  
 
   
	Modify 
 
 
		
 
77  
14955  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 9조 3호 
 
 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 3호
Check(NFSC503A_9_0_3){
	KS
}
KS{
	getObjectDistance(SimpleSprinkler.Head  
 
 
  
 
   
	Modify 
 
 
		
 
78  
14956  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 9조 4호 
 
 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 4호
Check(NFSC503A_9_0_4){
	IF (CS1 THEN KS1) OR (CS2 THEN KS2) OR (CS3 THEN KS3)
}
CS1{
	isObjectProperty(Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
79  
14958  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 9조 6호 
 
 
/ 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 6호
Check(NFSC503A_9_0_6){
	IF !CS THEN KS
}
CS{
	DBSH = getObjectDistance(Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
80  
14961  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 9조 9호 
 
 
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 9조 (간이헤드) 9호
Check(NFSC503A_9_0_9){
	IF CS THEN KS
}
CS{
	isExist(NFSC503A_6_0_7.mySpace) = TRUE
}
KS{
	Head Head Head Head  
 
 
  
 
   
	Modify 
 
 
		
 
81  
15002  
 
간이스프링클러설비의 화재안전기준(NFSC 103A) 제 별표1조 
 
 
//	간이스프링클러설비의 화재안전기준(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 Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head Head  
 
 
  
 
   
	Modify