1
72691
건축물의 에너지절약설계기준 제 5조 5호
5. "고효율에너지기자재인증제품”(이하 "고효율인증제품”이라 한다)이라 함은 산업통상자원부 고시 「고효율에너지기자재 보급촉진에 관한규정」(이하 "고효율인증규정”이라 한다)에서 정한 기준을 만족하여 에너지관리공단에서 인증서를 교부받은 제품을 말한다.
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 6항
Check(NFSC102_6_6){
IF (CS1 THEN KS1) OR (CS2 THEN KS2) OR (CS3 THEN KS3) OR (CS4 THEN KS4)
}
Port myPort{
Port.typeForWater = "IndoorFireHydrantDischarge"
}
Pipe myPipe{
isObjectProperty(Pipe.isBranchLines) = TRUE
isConnectedTo(Pipe, myPort) = TRUE
}
Pipe myPipe2{
isObjectProperty(Pipe.isRiser) = TRUE
}
CS1{
getObjectProperty(myPipe.systemType) = "HoseReelHydrantSystem"
}
KS1{
getObjectProperty(myPipe.diameter) >= 25mm
}
CS2{
getObjectProperty(myPipe.systemType) != "HoseReelHydrantSystem"
}
KS2{
getObjectProperty(myPipe.diameter) >= 40mm
}
CS3{
getObjectProperty(myPipe2.systemType) = "HoseReelHydrantSystem"
}
KS3{
getObjectProperty(myPipe2.diameter) >= 32mm
}
CS4{
getObjectProperty(myPipe2.systemType) != "HoseReelHydrantSystem"
}
KS4{
getObjectProperty(myPipe2.diameter) >= 50mm
}
Python Code 변환 예정
Modify
2
72692
건축물의 에너지절약설계기준 제 5조 6호
6. "완화기준”이라 함은 「건축법」, 「국토의 계획 및 이용에 관한 법률」 및 「지방자치단체 조례」등에서 정하는 조경설치면적, 건축물의 용적률 및 높이제한 기준을 적용함에 있어 완화 적용할 수 있는 비율을 정한 기준을 말한다.
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 7항
Check(NFSC503A_6_7){
IF CS THEN KS
}
CS{
Pipe.isShared(SimpleSprinklersystem.Pipe, FireDepartmentConnectionSystem.Pipe) = TRUE
}
KS{
Pipe myPipe1{
isObjectProperty(Pipe.isRiser) = TRUE
}
Port myPort{
getObjectProperty(Port.typeForWater ) = "Delivery"
Pipe myPipe2{
isConnectedTo(Pipe, myPort) = TRUE
}
isObjectProperty(myPipe1.diameter) >= 100 mm
getObjectProperty(myPipe2.diameter) >= 65 mm
}
Python Code 변환 예정
Modify
3
72699
건축물의 에너지절약설계기준 제 5조 9호 너 목
너. "태양열취득률(SHGC)"이라 함은 입사된 태양열에 대하여 실내로 유입된 태양열취득의 비율을 말한다.
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항 2호
Check(NFSC503A_6_13_2){
IF !CS THEN KS
}
CS{
isShared(HookingUpSprinklerSystem.Pipe, SprinklerSystem.Pipe, WaterSprayExtingushingSystem.Pipe, FoamExtinguishingSystem.Pipe) = TRUE
OR isShared(HookingUpSprinklerSystem.Pipe, FireDepartmentConnectionSystem.Pipe) = TRUE
}
KS{
Port myPort{
getObjectProperty(HookingUpSprinklerSystem.Port.typeForWater ) = "FireDepartmentConnection"
}
Pipe myPipe{
isObjectProperty(Pipe.isRiser)=TRUE
}
Vavle myValve{
isObjectProperty(Valve.isShutoffValve)= TRUE
}
isConnectedTo(myPort, Pipe) = TRUE
isConnectedTo(Pipe, myPipe) = TRUE
isInstalled(myValve, myPipe) = FALSE
}
Python Code 변환 예정
Modify
4
72700
건축물의 에너지절약설계기준 제 5조 9호 다 목
다. "거실의 외벽”이라 함은 거실의 벽 중 외기에 직접 또는 간접 면하는 부위를 말한다. 다만, 복합용도의 건축물인 경우에는 해당 용도로 사용하는 공간이 다른 용도로 사용하는 공간과 접하는 부위를 외벽으로 볼 수 있다.
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항 3호
Check(NFSC503A_6_13_3){
KS
}
KS{
Port myPort{
getObjectProperty(IndoorFireHydrantSystem.Port.typeForWater ) = "FireDepartmentConnection"
}
getObjectVerticalDistance(Ground, myPort) >= 0.5m
getObjectVerticalDistance(Ground, myPort) <= 1m
}
Python Code 변환 예정
Modify
5
72701
건축물의 에너지절약설계기준 제 5조 9호 더 목
더. "차양장치"라 함은 태양열의 실내 유입을 저감하기 위한 목적으로 설치하는 장치로서 설치위치에 따라 외부 차양과 내부 차양 그리고 유리간 사이 차양으로 구분된다. 가동 유무에 따라 고정식과 가변식으로 나눌 수 있다.
// 옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 13항 4호
Check(NFSC503A_6_13_4){
KS{
Port myPort{
isObjectProperty(Port.typeForWater ) = "FireDepartmentConnection"
}
(isObjectProperty(myPort.shapeType)="DoubleType"
isObjectProperty(myPort.diameter) = 65mm)
OR isObjectProperty(myPort.shapeType) = "SingleType"
}
Python Code 변환 예정
Modify
6
72703
건축물의 에너지절약설계기준 제 5조 9호 러 목
러. "일사조절장치"라 함은 태양열의 실내 유입을 조절하기 위한 목적으로 설치하는 장치를 말한다.
// 옥내소화전설비의 화재안전기준(nfsc 102) 7조 (함 및 방수구 등) 2항 1호
Check(NFSC503A_7_2_1){
KS2 AND IF CS THEN KS1
}
KS2{
isInstalled(옥내소화전방수구, SpecificFireFightingBuilding.Floor.One) = TRUE
getElementDistance(SpecificFireFightingBuilding.Wall|SpecificFireFightingBuilding.Column, 옥내소화전방수구.One) <= 25m
}
CS{
getBuildingUsage() = "MultiUnitHouse"
}
KS2{
Door myDoor{
isObjectProperty(Door.isEntrance) = TRUE
}
Floor myFloor{
isInstalled(myDoor, Floor) = TRUE
}
Port myPort{
Port.typeForWater ="IndoorFireHydrantDischarge"
}
isInstalled(myPort, myFloor.One) = TRUE
}
Python Code 변환 예정
Modify
7
72704
건축물의 에너지절약설계기준 제 5조 9호 마 목
마. "최상층에 있는 거실의 반자 또는 지붕”이라 함은 최상층으로서 거실인 경우의 반자 또는 지붕을 말하며, 기타 층으로서 거실의 반자 또는 지붕 부위가 외기에 직접 또는 간접적으로 면한 부위를 포함한다. 다만, 복합용도의 건축물인 경우에는 다른 용도로 사용하는 공간과 접하는 부위를 최상층에 있는 거실의 반자 또는 지붕으로 볼 수 있다.
// 옥내소화전설비의 화재안전기준(nfsc 102) 7조 (함 및 방수구 등) 2항 2호
Check(NFSC503A_7_2_2){
KS
}
KS{
Port myPort{
Port.typeForWater ="IndoorFireHydrantDischarge"
}
getObjectVerticalLocation(myPort, FloorSlab) > 0
getObjectVerticalDistance(FloorSlab, myPort) <= 1.5m
}
Python Code 변환 예정
Modify
8
72759
건축물의 에너지절약설계기준 제 7조 2호 나 목
나. 건축물의 체적에 대한 외피면적의 비 또는 연면적에 대한 외피면적의 비는 가능한 작게 한다.
//스프링클러설비의 화재안전기준(nfsc 103) 11조 (송수구) 2호
Check(NFSC103_11_0_2){
IF CS THEN KS
}
CS{
Port myPort{
isObjectProperty(Port.typeForWater ) = "FireDepartmentConnection"
}
Pipe myPipe{
isObjectProperty(Pipe.isRiser)=TRUE
}
Valve myValve{
isObjectProperty(Valve.isShutoffValve)=TRUE
}
isConnectedTo(myPort,Pipe)=TRUE
isConnectedTo(Pipe,myPipe)=TRUE
isInstalled(Pipe, myValve) = TRUE
}
KS{
Space mySpace{
isObjectProperty(Space.usage) = "MachineRoom"
}
isExternal(myValve)=TRUE
OR hasSpace(mySpace,myValve)=TRUE
Python Code 변환 예정
Modify
9
72760
건축물의 에너지절약설계기준 제 7조 2호 다 목
다. 실의 용도 및 기능에 따라 수평, 수직으로 조닝계획을 한다.
//스프링클러설비의 화재안전기준 11조 (송수구) 3호
check(NFSC103_11_0_3){
KS
}
KS{
isObjectProperty(Port.typeForWater ) = "FireDepartmentConnection"
isObjectProperty(Port.shapeType)="DoubleType"
isObjectProperty(Port.diameter) = 65mm
}
Python Code 변환 예정
Modify
10
72761
건축물의 에너지절약설계기준 제 7조 3호
3. 단열계획
//스프링클러설비의 화재안전기준(nfsc 103) 11조 (송수구) 5호
Check(NFSC103_11_0_5){
IF CS THEN KS
}
CS{
isObject(Sprinkler.Head.openAndCloseType) = "EnclosedType"
}
KS{
Port myPort{
isObjectProperty(Port.typeForWater )="FireDepartmentConnection"
}
Space mySpace{
isObjectProperty(Space.FloorSlab.area) = 3000m2
}
isInstalled(mySpace, myPort) = TRUE
getObjectCount(mySpace.One.myPort) >= 1
getObjectCount(myPort) <= 5
}
Python Code 변환 예정
Modify
11
72762
건축물의 에너지절약설계기준 제 7조 3호 가 목
가. 건축물 외벽, 천장 및 바닥으로의 열손실을 방지하기 위하여 기준에서 정하는 단열두께보다 두껍게 설치하여 단열부위의 열저항을 높이도록 한다.
//스프링클러설비의 화재안전기준(nfsc 103) 11조 (송수구) 6호
Check(NFSC103_11_0_6){
KS
}
KS{
Port myPort{
isObjectProperty(Port.typeForWater ) = "FireDepartmentConnection"
}
getObjectVerticalDistance(Ground, myPort, a) >= 0.5m
getObjectVerticalDistance(Ground, myPort, a) <= 1m
}
Python Code 변환 예정
Modify
12
72793
건축물의 에너지절약설계기준 제 9조 2호 가 목
가. 열원설비는 부분부하 및 전부하 운전효율이 좋은 것을 선정한다.
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 2항 1호
Check(NFSC503A_4_2_1){
KS
}
KS{
Valve myValve1{
isObjectProperty(Valve.isFootValve) = TRUE
isObjectProperty(Valve.systemType) = "SimpleSprinklerSystem"
}
Port myPort1{
getObjectProperty(Port.typeForWater ) = "Obsorption"
isObjectProperty(Valve.systemType) = "SimpleSprinklerSystem"
}
Valve myValve2{
isObjectProperty(Valve.isFootValve) = TRUE
isObjectProperty(Valve.systemType) != "SimpleSprinklerSystem"
}
Port myPort2{
getObjectProperty(Port.typeForWater ) = "Obsorption"
isObjectProperty(Valve.systemType) != "SimpleSprinklerSystem"
}
getObjectVerticalLocation(myValve1|myValve1, myValve2|myPort2) < 0
}
Python Code 변환 예정
Modify
13
72794
건축물의 에너지절약설계기준 제 9조 2호 나 목
나. 난방기기, 냉방기기, 냉동기, 송풍기, 펌프 등은 부하조건에 따라 최고의 성능을 유지할 수 있도록 대수분할 또는 비례제어운전이 되도록 한다.
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 2항 2호
Check(NFSC503A_4_2_2){
KS
}
KS{
Pipe myPipe{
getObjectProperty(Pipe.usage)= "WaterSupplyPipe"
getObjectProperty(Pipe.systemType)="SimpleSprinklerSystem"
isObjectProperty(Pipe.isRiser)= TRUE
}
Tank myTank{
getObjectProperty(Tank.operationType) = "ElevatedWaterTank"
}
Port myPort1{
getObjectProperty(Port.typeForWater ) = "Supply"
isConnectedTo(Port,myTank) = TRUE
isConnectedTo(Port,myWaterSupplyPipe) = TRUE
}
Port myPort2 {
getObject(Port) - getObject(myPort1)
}
Distance1 = getObjectVerticalDistance(myPort1, Ground.Surface, b)
Distance2 = getObjectVerticalDistance(myPort2, Ground.Surface, b)
Distance1 - Distance2 < 0
}
Python Code 변환 예정
Modify
14
72840
건축물의 에너지절약설계기준 제 11조 3호 가 목
가. 옥외등은 고효율 에너지기자재 인증제품 또는 산업통상자원부 고시 효율관리기자재 운용규정」에서 고효율조명기기로 등록된 고휘도방전램프(HID Lamp : High Intensity Dis charge Lamp) 또는 LED 램프를 사용하고, 옥외등의 조명회로는 격등 점등과 자동점멸기에 의한 점멸이 가능하도록 한다.
//간이스프링클러설비의 화재안전기준(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(myPipe1, myPipe2) = TRUE
}
KS{
Pipe myPipe3{
isObjectProperty(Pipe.isRiser) = TRUE
}
Port myPort{
getObjectProperty(Port.typeForWater ) = "Delivery"
Pipe myPipe4{
isConnectedTo(Pipe, myPort) = TRUE
}
isObjectProperty(myPipe3.diameter) >= 100 mm
getObjectProperty(myPipe4.diameter) >= 65 mm
}
Python Code 변환 예정
Modify
15
19912
연결살수설비의 화재안전기준(NFSC 503) 제 4조 1 항 2호
2. 송수구는 구경 65㎜의 쌍구형으로 설치할 것. 다만, 하나의 송수구역에 부착하는 살수헤드의 수가 10개 이하인 것은 단구형의 것으로 할 수 있다.
// 연결살수설비의 화재안전기준(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.)=TRUE
getObjectCount(HookingUpSprinklerSystem.Head.) <= 10
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater ) = "FireDepartmentConnection"
}
isObjectProperty(myPort.diameter) = 65mm
getObjectProperty(myPort.shapeType) = "DoubleType"
}
Python Code 변환 예정
Modify
16
19913
연결살수설비의 화재안전기준(NFSC 503) 제 4조 1 항 3호
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 myHead{
getObjectProperty(Head.openAndCloseType) = "OpenType"
}
isInstalled(myPort.호스접결구, myZone.One) = TRUE
}
Python Code 변환 예정
Modify
17
19915
연결살수설비의 화재안전기준(NFSC 503) 제 4조 1 항 5호
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(myPipe1, myPipe2, myPipe3, myPipe4) = TRUE
OR isShared(myPipe5, myPipe6) = TRUE
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater ) = "FireDepartmentConnection"
}
Pipe myPipe{
isObjectProperty(Pipe.isRiser)=TRUE
}
Vavle myValve{
isObjectProperty(Valve.isShutoffValve)= TRUE
}
isConnectedTo(myPort, Pipe) = TRUE
isConnectedTo(Pipe, myPipe) = TRUE
isInstalled(myValve, myPipe) = FALSE
}
Python Code 변환 예정
Modify
18
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
19
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
20
19929
연결살수설비의 화재안전기준(NFSC 503) 제 5조 4 항 1호
1. 송수구의 가장 먼 가지배관의 끝으로부터 연결하여 설치할 것
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 4항
Check(NFSC503_5_4_1){
KS
}
KS{
Pipe myPipe1{
isObjectProperty(Pipe.isForTest) = TRUE
}
Port myPort{
getObjectProperty(Port.typeForWater ) = "FireDepartmentConnection"
}
Pipe myPipe2{
isObjectProperty(Pipe.isBranchLines) = TRUE
isFarthestDistance(myPort, Pipe) = TRUE
}
isConnectedTo(myPipe1, myPipe2) = TRUE
}
Python Code 변환 예정
Modify
21
72614
연결살수설비의 화재안전기준(NFSC 503) 제 4조 1 항 4호
4. 지면으로부터 높이가 0.5m 이상 1m 이하의 위치에 설치할 것
Check(NFSC503_4_1_4){
KS
}
KS{
Port myPort{
getObjectProperty(Port.systemType) = "HookingUpSprinklerSystem"
getObjectProperty(Port.typeForWater ) = "FireDepartmentConnection"
}
getObjectVerticalDistance(Ground, myPort) >= 0.5m
getObjectVerticalDistance(Ground, myPort) <= 1m
}
Python Code 변환 예정
Modify
22
20464
연결송수관설비의 화재안전기준(NFSC 502) 제 4조 5호
5. 구경 65㎜의 쌍구형으로 할 것
//연결송수관설비의 화재안전기준(NFSC 502) 4조 (송수구) 5호
Check(NFSC502_4_0_5){
KS
}
KS{
Port myPort{
getObjectProperty( Port.typeForWater )="FireDepartmentConnection "
getObjectProperty(Port.shapeType)="DoubleType"
}
getObjectDiameter(myFireDepartmentConnection)= 65 mm
}
Python Code 변환 예정
Modify
23
20465
연결송수관설비의 화재안전기준(NFSC 502) 제 4조 7호
7. 송수구는 연결송수관의 수직배관마다 1개 이상을 설치할 것. 다만, 하나의 건축물에 설치된 각 수직배관이 중간에 개폐밸브가 설치되지 아니한 배관으로 상호 연결되어 있는 경우에는 건축물마다 1개씩 설치할 수 있다.
//연결송수관설비의 화재안전기준(NFSC 502) 4조 (송수구) 7호
Check(NFSC502_4_0_7){
IF CS THEN KS1 ELSE KS2
}
CS{
Port myPort{
Port.typeForWater = "FireDepartmentConnection"
}
Pipe myPipe{
Pipe.systemType = "FireDepartmentConnectionSystem"
isObjectProperty(Pipe.isRiser)=True
}
Pipe myPipe2{
isInstalled( myValve, Pipe)=False
}
Valve myValve{
isObjectProperty(Valve.isShutOffValve)=True
}
isConnectedTo(myPipe, myPipe2)=True
}
KS1{
isInstalled(myPort)=True
}
KS2{
getObjectCount(myPort,myPipe )>=1
}
Python Code 변환 예정
Modify
24
20483
연결송수관설비의 화재안전기준(NFSC 502) 제 6조 1호
1. 연결송수관설비의 방수구는 그 특정소방대상물의 층마다 설치할 것. 다만, 다음 각목의 어느 하나에 해당하는 층에는 설치하지 아니할 수 있다.
연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 1호
Check(NFSC502_6_0_1){
IF !CS THEN KS
}
CS{
getResult(NFSC502_6_0_1_가)=True
getResult(NFSC502_6_0_1_나)=True
}
KS{
Port myPort{
Port.typeForWater = "Delivery"
}
isInstalled(myPort,SpecificFireFightingBuilding)=True
}
Python Code 변환 예정
Modify
25
20493
연결송수관설비의 화재안전기준(NFSC 502) 제 6조 5호
5. 방수구는 연결송수관설비의 전용방수구 또는 옥내소화전방수구로서 구경 65㎜의 것으로 설치할 것
//연결송수관설비의 화재안전기준(NFSC 502) 6조 (방수구) 5호
Check(NFSC502_6_0_5){
KS
}
KS{
getObjectProperty(FireDepartmentConnectionSystem.Port.isShared)= FALSE
OR getObjectProperty(FireDepartmentConnectionSystem.Port.typeForWater )="IndoorFireHydrantDischarge"
Port myPort{
Port.typeForWater = "Delivery"
}
getObjectProperty(myPortt.diameter)=65 mm
}
Python Code 변환 예정
Modify
26
20117
연소방지설비의 화재안전기준(NFSC 506) 제 6조 2호
2. 송수구는 구경 65㎜의 쌍구형으로 할 것
// 연소방지설비의 화재안전기준(nfsc 506) 6조 (송수구) 2호
Check(NFSC506_6_0_2){
KS
}
KS{
Port myPort{
getObjectProperty(Port.typeForWater ) = "FireDepartmentConnection"
}
isInstalled(myPort, CombustionProtectionSystem) = TRUE
getObjectProperty(myPort.diameter) = 65mm
getObjectProperty(myPort.shapeType) = "DoubleType"
}
Python Code 변환 예정
Modify
27
20119
연소방지설비의 화재안전기준(NFSC 506) 제 6조 6호
6. 송수구로부터 주배관에 이르는 연결배관에는 개폐밸브를 설치하지 아니할 것
// 연소방지설비의 화재안전기준(nfsc 506) 6조 (송수구) 6호
Check(NFSC506_6_0_6){
KS
}
KS{
Port myPort{
getObjectProperty(Port.typeForWater ) = "FireDepartmentConnection"
}
Pipe myPipe2{
isObjectProperty(Pipe.isRiser) = TRUE
}
Pipe myPipe{
isConnectedTo(Pipe, myPort) = TRUE
isConnectedTo(Pipe, myPipe2) = TRUE
}
Valve myValve{
isObjectProperty(Valve.isShutoffValve) = TRUE
}
isInstalled(myValve, myPipe) = FALSE
}
Python Code 변환 예정
Modify
28
72615
연소방지설비의 화재안전기준(NFSC 506) 제 6조 4호
4. 지면으로부터 높이가 0.5m 이상 1m 이하의 위치에 설치할 것
// 연소방지설비의 화재안전기준(nfsc 506) 6조 (송수구) 4호
Check(NFSC506_6_0_4){
KS
}
KS{
Port myPort{
getObjectProperty(Port.typeForWater ) = "FireDepartmentConnection"
isInstalled(Port, CombustionProtectionSystem) = TRUE
}
getObjectVerticalLocation(myPort, Ground) >= 0.5m
getObjectVerticalLocation(myPort, Ground) <= 1m
}
Python Code 변환 예정
Modify