|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
10861
건축물의 구조기준 등에 관한 규칙 30 조
1항
"제30조(기초) ①조적식구조인 내력벽의 기초(최하층의 바닥면 이하에 해당하는 부분을 말한다)는 연속기초로 하여야 한다."
//건축물의 구조기준 등에 관한 규칙 30조 (기초) 1항
Check(RSSB_30_1){
getResult(RSSB_28_3) = TRUE AND getResult(RSSB_28_2) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}
KS{
Wall myWall{
isObjectProperty(Wall.isLoadBearingWall) = TRUE
getObjectProperty(Wall.Structure.isMansoryStructure) = TRUE
}
Foundation myFoundation{
isInstalled(myWall, Foundation) = TRUE
}
isObjectProperty(myFoundation.isContinuousFoundation) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
10862
건축물의 구조기준 등에 관한 규칙 30 조
2항
"②제1항의 규정에 의한 기초중 기초판은 철근콘크리트구조 또는 무근콘크리트구조로 하고, 기초벽의 두께는 250밀리미터 이상으로 하여야 한다."
//건축물의 구조기준 등에 관한 규칙 30조 (기초) 2항
Check(RSSB_30_2){
getResult(RSSB_28_3) = TRUE AND getResult(RSSB_28_2) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND IF CS THEN KS
}
CS{
getResult(RSSB_30_1) = TRUE
}
KS{
Wall myWall{
isObjectProperty(Wall.isFoundationWall) = TRUE
}
(getObjectProperty(FoundationPlate.Structure.materialType) = "ReinforcedConcrete"
OR getObjectProperty(FoundationPlate.Structure.materialType) = "PlainConcrete")
getObjectProperty(myWall.depth) >= 250mm
}
|
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
10861
건축물의 구조기준 등에 관한 규칙 30 조
1항
"제30조(기초) ①조적식구조인 내력벽의 기초(최하층의 바닥면 이하에 해당하는 부분을 말한다)는 연속기초로 하여야 한다."
//건축물의 구조기준 등에 관한 규칙 30조 (기초) 1항
Check(RSSB_30_1){
getResult(RSSB_28_3) = TRUE AND getResult(RSSB_28_2) = TRUE AND getResult(RSSB_28_1) = TRUE AND getResult(RSSB_3_3) = TRUE AND KS
}
KS{
Wall myWall{
isObjectProperty(Wall.isLoadBearingWall) = TRUE
getObjectProperty(Wall.Structure.isMansoryStructure) = TRUE
}
Foundation myFoundation{
isInstalled(myWall, Foundation) = TRUE
}
isObjectProperty(myFoundation.isContinuousFoundation) = TRUE
}
|
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
