// 건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항
Check(RFB_13_1){
IF CS THEN KS
}
CS{
getBuildingUsage() = "DetachedHouse"
OR getBuildingUsage() = "MultiUnitHouse"
}
KS{
getResult(RFB_13_1_1) = TRUE
getResult(RFB_13_1_2) = TRUE
getResult(RFB_13_1_5) = TRUE
getResult(RFB_13_1_6) = TRUE
getResult(RFB_13_1_7) = TRUE
}
// 건축물의 설비기준 등에 관한 규칙 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
}
// 건축물의 설비기준 등에 관한 규칙 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)
}
// 건축물의 설비기준 등에 관한 규칙 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
}
// 건축물의 설비기준 등에 관한 규칙 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
}
//건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 1항 7호
Check(RFB_13_1_7){
KS
}
KS{
isFireResistantStructure(GasDuct) = TRUE
isShared(GasDuct) = TRUE
}
// 건축물의 설비기준 등에 관한 규칙 13조 (개별난방설비) 2항
Check(RFB_13_2){
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
}
|
( 기준) 국가법령정보센터의 대한민국 전체 법규 목록
