|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14391
옥내소화전설비의 화재안전기준(NFSC 102) 7 조
2항
1호
"1. 특정소방대상물의 층마다 설치하되, 해당 특정소방대상물의 각 부분으로부터 하나의 옥내소화전방수구까지의 수평거리가 25m(호스릴옥내소화전설비를 포함한다) 이하가 되도록 할 것. 다만, 복층형 구조의 공동주택의 경우에는 세대의 출입구가 설치된 층에만 설치할 수 있다.＜개정 2008.12.15, 2009.10.22＞"
// 옥내소화전설비의 화재안전기준(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
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14392
옥내소화전설비의 화재안전기준(NFSC 102) 7 조
2항
2호
"2. 바닥으로부터의 높이가 1.5m 이하가 되도록 할 것"
// 옥내소화전설비의 화재안전기준(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
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
