|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1193
건축물의 설비기준 등에 관한 규칙 13 조
1항
1호
"1. 보일러는 거실외의 곳에 설치하되, 보일러를 설치하는 곳과 거실사이의 경계벽은 출입구를 제외하고는 내화구조의 벽으로 구획할 것"
// 건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 1호
Check(RFB_13_1_1){
KS
}
KS{
hasSpace(Room, Boiler) = FALSE
Room myRoom{
hasSpace(Room, Boiler) = TRUE
}
Room myRoom2{
hasAdjacent(myRoom, Room) = TRUE
}
Wall myWall{
isPartitioned(myRoom, myRoom2, Wall) = TRUE
hasObject(Wall, Door.isEntrance) = FALSE
isObjectProperty(Wall.isfireResistantStructure) = TRUE
}
isExist(myWall) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1194
건축물의 설비기준 등에 관한 규칙 13 조
1항
2호
"2. 보일러실의 윗부분에는 그 면적이 0.5제곱미터 이상인 환기창을 설치하고, 보일러실의 윗부분과 아랫부분에는 각각 지름 10센티미터 이상의 공기흡입구 및 배기구를 항상 열려있는 상태로 바깥공기에 접하도록 설치할 것. 다만, 전기보일러의 경우에는 그러하지 아니하다."
// 건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 2호
Check(RFB_13_1_2){
IF CS THEN KS
}
CS{
isExist(Boiler) = TRUE
isObjectProperty(Boiler.isElectricBoiler) = FALSE
}
KS{
Ventilator myVentilator{
getObjectArea(Ventilator) >= 0.5cm2
}
Space mySpace{
getSpaceUsage(Space) = "BoilerRoom"
}
isInstalled(myVentilator, mySpace, a, top) = TRUE
AirInlet myAirInlet{
getObjectDiameter(AirInlet, b) >= 10cm
}
AirOutlet myAirOutlet{
getObjectDiameter(AirOutlet, b) >= 10cm
}
(isInstalled(myAirInlet, mySpace, a, top) = TRUE
OR isInstalled(myAirOutlet, mySpace, a, top) = TRUE)
(isInstalled(myAirInlet, mySpace, a, bottom) = TRUE
OR isInstalled(myAirOutlet, mySpace, a, bottom) = TRUE)
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1197
건축물의 설비기준 등에 관한 규칙 13 조
1항
5호
"5. 기름보일러를 설치하는 경우에는 기름저장소를 보일러실외의 다른 곳에 설치할 것"
// 건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 5호
Check(RFB_13_1_5){
IF CS THEN KS
}
CS{
isObjectProperty(Boiler.isOilBoiler) = FALSE
}
KS{
Space mySpace1{
getSpaceUsage(Space) = "BoilerRoom"
}
Space mySpace2{
getSpaceUsage(Space) = "OilStorageFacilities"
}
hasSpace(mySpace1, mySpace2) = FALSE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1198
건축물의 설비기준 등에 관한 규칙 13 조
1항
6호
"6. 오피스텔의 경우에는 난방구획마다 내화구조로 된 벽·바닥과 갑종방화문으로 된 출입문으로 구획할 것"
// 건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 6호
Check(RFB_13_1_6){
IF CS THEN KS
}
CS{
getBuildingUsage() = "Officetel"
}
KS{
Wall myWall{
isObjectProperty(Wall.isfireResistantStructure)
}
FloorSlab myFloorSlab{
isObjectProperty(FloorSlab.isFireResistantStructure) = TRUE
}
Door myDoor{
isObjectProperty(Door.isStrictFireproofDoor) = TRUE
}
Zone myZone{
isObjectProperty(Zone.isHeatingSection) = TRUE
}
isPartitioned(myZone, myWall) = TRUE
OR isPartitioned(myZone, myFloorSlab) = TRUE
OR isPartitioned(myZone, myDoor) = TRUE
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
