// 건축법 시행령 53조 (경계벽 등의 설치) 1항
check(EDBA_53_1){
IF CS THEN KS
}
CS{
getResult(EDBA_53_1_1) = TRUE
OR getResult(EDBA_53_1_2) = TRUE
OR getResult(EDBA_53_1_3) = TRUE
OR getResult(EDBA_53_1_4) = TRUE
}
KS{
getResult(REFB_19_1)=True
getResult(REFB_19_2)=True
}
// 건축법 시행령 53조 (경계벽 등의 설치) 1항 1호
check(EDBA_53_1_1){
KS
}
KS{
Zone myZone1{
Zone.Building.usage = “DetachedHouse.MultiFamilyHouse ”
}
Zone myZone2{
Zone.Building.usage = “MultiUnitHouse”
}
Balcony myBalcony{
Balcony.usage != “BedRoom”
Balcony.usage != “LivingRoom”
}
Wall myWall1{
isObjectProperty(Wall.isPartitionWall)=TRUE
hasObject(myZone1.Household, Wall) =TRUE
hasObject(myBalcony,Wall) =FALSE
}
Wall myWall1{
isObjectProperty(Wall.isPartitionWall)=TRUE
hasObject(myZone2.Household, Wall) =TRUE
hasObject(myBalcony,Wall) =FALSE
}
isExist(myWall1)=TRUE
isExist(myWall2)=TRUE
}
// 건축법 시행령 53조 (경계벽 등의 설치) 1항 2호
check(EDBA_53_1_1){
KS
}
KS{
Space mySpace1{
Space.Building.usage = “MultiUnitHouse.Dormitory”
Space.name = “BedRoom”
}
Space mySpace1_1{
Space.Building.usage = “MultiUnitHouse.Dormitory”
Space.name != “BedRoom”
}
Space mySpace2{
Space.Building.usage = “MedicalFacility”
Space.name = “Ward”
}
Space mySpace2_1{
Space.Building.usage = “MedicalFacility”
Space.name != “Ward”
}
Space mySpace3{
Space.Building.usage = “EducationAndResearchFacility.School”
Space.name = “ClassRoom”
}
Space mySpace3_1{
Space.Building.usage = “EducationAndResearchFacility.School”
Space.name != “ClassRoom”
}
Space mySpace4{
Space.Building.usage = “LodgingFacility”
Space.name = “GuestRoom”
}
Space mySpace4_1
Space.Building.usage = “LodgingFacility”
Space.name != “GuestRoom”
}
Wall myWall1{
isObjectProperty(Wall.isPartitionWall)=TRUE
hasObject(mySpace1, Wall) =TRUE
}
Wall myWall2{
isObjectProperty(Wall.isPartitionWall)=TRUE
hasObject(mySpace2, Wall) =TRUE
}
Wall myWall3{
isObjectProperty(Wall.isPartitionWall)=TRUE
hasObject(mySpace3, Wall) =TRUE
}
Wall myWall4{
isObjectProperty(Wall.isPartitionWall)=TRUE
hasObject(mySpace4, Wall) =TRUE
}
(hasObject(mySpace1, myWall) =TRUE
hasObject(mySpace1_1, myWall) =FALSE)
OR
(hasObject(mySpace2, myWall) =TRUE
hasObject(mySpace2_1, myWall) =FALSE)
OR
(hasObject(mySpace3, myWall) =TRUE
hasObject(mySpace3_1, myWall) =FALSE)
OR
(hasObject(mySpace4, myWall) =TRUE
hasObject(mySpace4_1, myWall) =FALSE)
}
// 건축법 시행령 53조 (경계벽 등의 설치) 1항 3호
check(EDBA_53_1_3){
KS
}
KS{
Space mySpace1{
Space.Building.usage = “ClassIINeighborhoodLivingFacility.CommunalLivingFacility”
}
Wall myWall{
isObjectProperty(Wall.isPartitionWall)=TRUE
hasObject(mySpace1, Wall) =TRUE
}
isObjectProperty(myWall.isSharedByHouseholds) = TRUE
}
// 건축법 시행령 53조 (경계벽 등의 설치) 1항 4호
check(EDBA_53_1_4){
KS
}
KS{
Building myBuilding{
Zone.Building.usage = “FacilitiesForTheAgedAndChildren.WelfareFacilityForTheAged ”
getResult(WOPA_32_1_3)=TRUE
}
Wall myWall{
isObjectProperty(Wall.isPartitionWall)=TRUE hasObject(myBuilding, Wall) =TRUE }
isObjectProperty(myWall.isSharedByHouseholds) = TRUE
}
//건축법 시행령 53조 (경계벽 등의 설치) 2항
Check(EDBA_53_2){ IF CS THEN KS }
CS{ getResult(EDBA_53_2_1)=True OR getResult(EDBA_53_2_2)=True OR getResult(EDBA_53_2_3)=True OR getResult(EDBA_53_2_4)=True OR getResult(EDBA_53_2_5)=True }
KS{ getResult(REFB_19_3)=True }
//건축법 시행령 53조 (경계벽 등의 설치) 2항 1호
Check(EDBA_53_2_1){ KS }
KS{ getBuildingUsage()="DetachedHouse.MultiFamilyHouse" }
//건축법 시행령 53조 (경계벽 등의 설치) 2항 2호
Check(EDBA_53_2_2){ KS }
KS{ getBuildingUsage()="MultiUnitHouse" getResult(Unimplemented_HA_16)=False }
//건축법 시행령 53조 (경계벽 등의 설치) 2항 3호
Check(EDBA_53_2_3){ KS }
KS{ getBuildingUsage()="BusinessFacility.Officetel" }
//건축법 시행령 53조 (경계벽 등의 설치) 2항 4호
Check(EDBA_53_2_4){ KS }
KS{ getBuildingUsage()="ClassIINeighborhoodLivingFacility.CommunalLivingFacility" }
//건축법 시행령 53조 (경계벽 등의 설치) 2항 5호
Check(EDBA_53_2_5){ KS }
KS{ getBuildingUsage()="LodgingFacility.CommunalLivingFacility" }
|