// 건축법 시행령 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)
}
|
Python Code 변환 예정
|
(2024-12-23 기준) 설계품질검토용 건축법 및 관련법규 - KBIMCode (문장단위)
