|
|
|
|
관계유형
|
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
15494
연결송수관설비의 화재안전기준(NFSC 502) 4 조
2호
"2. 지면으로부터 높이가 0.5m 이상 1m 이하의 위치에 설치할 것"
//연결송수관설비의 화재안전기준(NFSC 502) 4조 (송수구) 2호
Check(NFSC502_4_0_2){
KS
}
KS{
getObjectVerticalDistance(Ground, FireDepartmentConnection)>=0.5 m
getObjectVerticalDistance(Ground, FireDepartmentConnection)<=1 m
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
15496
연결송수관설비의 화재안전기준(NFSC 502) 4 조
4호
"4. 송수구로부터 연결송수관설비의 주배관에 이르는 연결배관에 개폐밸브를 설치한 때에는 그 개폐상태를 쉽게 확인 및 조작할 수 있는 옥외 또는 기계실 등의 장소에 설치할 것. 이 경우 개폐밸브에는 그 밸브의 개폐상태를 감시제어반에서 확인할 수 있도록 급수개폐밸브 작동표시 스위치를 다음 각 목의 기준에 따라 설치하여야 한다. <개정 2014.8.18>"
//연결송수관설비의 화재안전기준(NFSC 502) 4조 (송수구) 4호
Check(NFSC502_4_0_4){
IF CS THEN KS
}
CS{
Pipe myPipe1{
Pipe.systemType = "FireDepartmentConnectionSystem"
Pipe.isRiser = TRUE
}
Pipe myPipe2{
isConnectedTo(FireDepartmentConnection, Pipe)=True
isConnectedTo(myPipe1, Pipe)=True
}
Valve myValve{
isObjectProperty(Valve.isShutoffValve)=True
}
hasObject(myConnectionPipe, myValve)=True
}
KS{
isExternal(myValve)=True
OR (hasObject(Space, myValve)=True
getSpaceUsage(Space) = "MachinRoom"
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
15500
연결송수관설비의 화재안전기준(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
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
15502
연결송수관설비의 화재안전기준(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
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
15503
연결송수관설비의 화재안전기준(NFSC 502) 4 조
8호
"8. 송수구의 부근에는 자동배수밸브 및 체크밸브를 다음 각목의 기준에 따라 설치할 것. 이 경우 자동배수밸브는 배관안의 물이 잘빠질 수 있는 위치에 설치하되, 배수로 인하여 다른 물건이나 장소에 피해를 주지 아니하여야 한다."
//연결송수관설비의 화재안전기준(NFSC 502) 4조 (송수구) 8호
Check(NFSC502_4_0_8){
KS
}
KS{
getResult(NFSC502_4_0_8_가)=True
getResult(NFSC502_4_0_8_나)=True
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
