|
|
|
관계유형
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
10866
건축물의 구조기준 등에 관한 규칙 32 조
1항
"제32조(내력벽의 두께) ①조적식구조인 내력벽의 두께(마감재료의 두께는 포함하지 아니한다. 이하 이 절에서 같다)는 바로 윗층의 내력벽의 두께 이상이어야 한다."
//건축물의 구조기준 등에 관한 규칙 32조 (내력벽의 두께) 1항 Check(RSSB_32_1){ getResult(RSSB_32_7) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS } KS{ Wall myWall1{ isObjectProperty(Wall.isLoadBearingWall) = TRUE isObjectProperty(myWall.Structure.isMansoryStructure) = TRUE } Floor myFloor{ isInstalled(myWall1, Floor) = TRUE } Wall myWAll2{ isInstalled(Wall, myFloor.UpperFloor) = TRUE } WD = getObjectProperty(myWall2.depth)
getObjectProperty(myWall1.depth) >= WD }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
10868
건축물의 구조기준 등에 관한 규칙 32 조
2항
"(표)"
//건축물의 구조기준 등에 관한 규칙 32조 (내력벽의 두께) 2항
Check(RSSB_32_2){
getResult(RSSB_32_7) = TRUE AND getResult(RSSB_32_3) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS
}
CS {
getResult(RSSB_33_3)=True
}
KS{
//HW means Height of wall
Wall myWall{
isObjectProperty(Wall.isLoadBearingWall) = TRUE
}
HW=getObjectHeight(myWall)
IF isObjectProperty(Wall.Structure.isMansoryStructure)=TRUE
IF getBuildingHeight()<5 m
IF getFloorNumber(myWall)=1
IF getObjectLength(myWall)<8 m
THEN getObjectThickness(myWall)>= 150 mm
ELSE THEN getObjectThickness(myWall)>= 190 mm
END IF
END IF
ELSE IF getBuildingHeight()>=5 m
getBuildingHeight()<11 m
getFloorNumber(myWall)=1
OR getFloorNumber(myWall)=2
THEN getObjectThickness(myWall)>= 190 mm
ELSE IF getBuildingHeight()>=11 m
IF getObjectLength(myWall)<8 m
getFloorNumber(myWall)=1
OR getFloorNumber(myWall)=2
THEN getObjectThickness(myWall)>=190 mm
ELSE IF getFloorNumber(myWall)=1
THEN getObjectThickness(myWall)>=290 mm
ELSE IF getFloorNumber(myWall)=2
THEN getObjectThickness(myWall)>=190 mm
END IF
END IF
IF getObjectMaterial(myWall)="벽돌"
THEN getObjectThickness(myWall)>= HW/20
ELSE IF getObjectMaterial(myWall)="Block"
THEN getObjectThickness(myWall)>= HW/16
END IF
END IF
}
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
10877
건축물의 구조기준 등에 관한 규칙 33 조
3항
"③제32조의 규정은 조적식구조인 칸막이벽의 두께에 관하여 이를 준용한다."
//건축물의 구조기준 등에 관한 규칙 33조 (칸막이벽 등의 두께) 3항
Check(RSSB_33_3){ getResult(RSSB_28_3) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS }
KS{ isObjectProperty(Wall.isPartitionWall)=True isObjectProperty(Wall.Structure.isMansoryStructure)=True }
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
10869
건축물의 구조기준 등에 관한 규칙 32 조
3항
"③제2항의 규정을 적용함에 있어서 그 조적재가 돌이거나, 돌과 벽돌 또는 블록 등을 병용하는 경우에는 내력벽의 두께는 제2항의 두께에 10분의 2를 가산한 두께 이상으로 하되, 당해 벽높이의 15분의 1이상으로 하여야 한다."
//건축물의 구조기준 등에 관한 규칙 32조 (적용범위 등) 3항
Check(RSSB_32_3){
getResult(RSSB_32_7) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CH TEHN KS
}
Wall myWall{
isObjectProperty(Wall.isLoadBearingWall) = TRUE
}
Wall myWall1{
getResult(RSSB_32_2) = TRUE
}
CS{
getObjectProperty(myWall.Structure.materialType) = "Stone" OR "Brick" OR "ConcreteBlock" OR "SteelReinforcedConcreteBlock"
}
KS{
WT = getWallThickness(myWall)
WT >= 1.2* getWallThinkness(myWall1)
WT >= 1/15*getObjectHeight(myWall)
}
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
10871
건축물의 구조기준 등에 관한 규칙 32 조
4항
"(표)"
// 건축물의 구조기준 등에 관한 규칙 32조 (내력벽의 두께) 4항
Check(RSSB_32_4){ getResult(RSSB_32_7) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS }
CS{ getResult(RSSB_33_3)=True }
KS{
}
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
10877
건축물의 구조기준 등에 관한 규칙 33 조
3항
"③제32조의 규정은 조적식구조인 칸막이벽의 두께에 관하여 이를 준용한다."
//건축물의 구조기준 등에 관한 규칙 33조 (칸막이벽 등의 두께) 3항
Check(RSSB_33_3){ getResult(RSSB_28_3) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS }
KS{ isObjectProperty(Wall.isPartitionWall)=True isObjectProperty(Wall.Structure.isMansoryStructure)=True }
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
10874
건축물의 구조기준 등에 관한 규칙 32 조
7항
"⑦조적식구조인 내력벽을 이중벽으로 하는 경우에는 제1항 내지 제6항의 규정은 당해 이중벽중 하나의 내력벽에 대하여 적용한다. 다만, 건축물의 최상층(1층인 건축물의 경우에는 1층을 말한다)에 위치하고 그 높이가 3미터를 넘지 아니하는 이중벽인 내력벽으로서 그 각벽 상호간에 가로·세로 각각 400밀리미터 이내의 간격으로 보강한 내력벽에 있어서는 그 각벽의 두께의 합계를 당해 내력벽의 두께로 본다."
// 건축물의 구조기준 등에 관한 규칙 32조 (내력벽의 두께) 7항 Check(RSSB_32_7){ KS }
KS{ isObjectProperty(Wall.Structure.isMansoryStructure) = TRUE isObjectProperty(Wall.isDoubleWall) = TRUE }
|