 |
|
|
|
|
관계유형
|
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14830
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
1항
"제4조(수원) ① 간이스프링클러설비의 수원은 다음 각 호와 같다. "
// 간이스프링클러설비의 화재안전기준(NFSC103A) 4조 (수원) 1항
Check(NFSC103A_4_1){
KS
}
KS{
getResult(NFSC103A_4_1_2) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14833
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
2항
"② 간이스프링클러설비의 수원을 수조로 설치하는 경우에는 소방설비의 전용수조로 하여야 한다. 다만, 다음 각 호의 어느 하나에 해당하는 경우에는 그러하지 아니하다. "
// 간이스프링클러설비의 화재안전기준(NFSC103a) 4조 (수원) 2항
Check(NFSC503A_4_2){
IF !CS1 AND CS2 THEN KS
}
CS1{
getResult(NFSC503A_4_2_1) = TRUE
OR getResult(NFSC503A_4_2_2) = TRUE
}
CS2{
isObjectProperty(SimpleSprinklerSystem.Tank.isWaterSource) = TRUE
}
KS{
isObjectProperty(Tank.isShared) = FALSE
}
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14834
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
2항
1호
"1. 간이스프링클러펌프의 후드밸브 또는 흡수배관의 흡수구(수직회전축펌프의 흡수구를 포함한다. 이하 같다)를 다른 설비(소방용 설비 외의 것을 말한다. 이하 같다)의 후드밸브 또는 흡수구보다 낮은 위치에 설치한 때 "
// 간이스프링클러설비의 화재안전기준(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
}
|
|
L
|
하위 법규문장 중 하나의 법규문장만 만족하면 상위법규가 만족하는 관계
|
14835
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
2항
2호
"2. 제5조제3항에 따른 고가수조로부터 간이스프링클러설비의 수직배관에 물을 공급하는 급수구를 다른 설비의 급수구보다 낮은 위치에 설치한 때 "
// 간이스프링클러설비의 화재안전기준(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
}
|
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14837
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
4항
"④ 간이스프링클러설비용 수조는 다음 각 호의 기준에 따라 설치하여야 한다. "
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원)
Check(NFSC503A_4){
getResult(NFSC503A_4_4) = TRUE
getResult(NFSC503A_4_5) = TRUE
getResult(NFSC503A_4_6) = TRUE
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14840
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
4항
3호
"3. 수조의 외측에 수위계를 설치할 것. 다만, 구조상 불가피한 경우에는 수조의 맨홀 등을 통하여 수조 안의 물의 양을 쉽게 확인할 수 있도록 하여야 한다. "
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 4항 3호
Check(NFSC503A_4_4_3){
KS
}
KS{
isInstalled(Tank.SideSurface, WaterLevelGauge) = TRUE
}
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14841
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
4항
4호
"4. 수조의 상단이 바닥보다 높은 때에는 수조의 외측에 고정식 사다리를 설치할 것"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 4항 3호
Check(NFSC503A_4_4_3){
IF CS THEN KS
}
CS{
getObjectVerticalLocation(Tank.TopSurface, FloorSlab) = TRUE
}
KS{
isInstalled(Ladder, Tank.SideSurface) = TRUE
isObjectProperty(Ladder.isFixed) = TRUE
}
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14842
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
4항
5호
"5. 수조가 실내에 설치된 때에는 그 실내에 조명설비를 설치할 것"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 5호(수원)
Check(NFSC503A_4_5){
IF CS THEN KS
}
CS{
Space mySpace{
isExternal(Space) = FALSE
}
hasSpace(mySpace,Tank) = TRUE
KS{
hasSpace(mySpace,LightingSystem) = TRUE
}
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14843
간이스프링클러설비의 화재안전기준(NFSC 103A) 4 조
4항
6호
"6. 수조의 밑부분에는 청소용 배수밸브 또는 배수관을 설치할 것"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 4조 (수원) 4항 6호
Check(NFSC503A_4_2_6){
KS
}
KS{
Valve myValve{
isObjectProperty(Valve.isDeliveryValveForCleaning) = TRUE
}
Pipe myPipe{
isObjectProperty(Pipe.usage) = "WaterDrainPipe"
}
isInstalled(Tank.BottomSurface, myValve) = TRUE
OR isInstalled(Tank.BottomSurface, myPipe) = TRUE
}
|
|
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
