|
|
|
관계유형
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14692
스프링클러설비의 화재안전기준(NFSC 103) 11 조
2호
"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
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14693
스프링클러설비의 화재안전기준(NFSC 103) 11 조
3호
"3. 구경 65㎜의 쌍구형으로 할 것"
//스프링클러설비의 화재안전기준 11조 (송수구) 3호 check(NFSC103_11_0_3){ KS } KS{ isObjectProperty(Port.typeForWater) = "FireDepartmentConnection" isObjectProperty(Port.shapeType)="DoubleType" isObjectProperty(Port.diameter) = 65mm }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14695
스프링클러설비의 화재안전기준(NFSC 103) 11 조
5호
"5. 폐쇄형스프링클러헤드를 사용하는 스프링클러설비의 송수구는 하나의 층의 바닥면적이 3,000㎡를 넘을 때마다 1개 이상(5개를 넘을 경우에는 5개로 한다)을 설치할 것"
//스프링클러설비의 화재안전기준(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 }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14696
스프링클러설비의 화재안전기준(NFSC 103) 11 조
6호
"6. 지면으로부터 높이가 0.5m 이상 1m 이하의 위치에 설치할 것"
//스프링클러설비의 화재안전기준(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 }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14697
스프링클러설비의 화재안전기준(NFSC 103) 11 조
7호
"7. 송수구의 가까운 부분에 자동배수밸브(또는 직경 5㎜의 배수공) 및 체크밸브를 설치할 것. 이 경우 자동배수밸브는 배관안의 물이 잘 빠질 수 있는 위치에 설치하되, 배수로 인하여 다른 물건 또는 장소에 피해를 주지 아니하여야 한다."
//스프링클러설비의 화재안전기준(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 }
|