//	건축물의 설비기준 등에 관한 규칙 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

}