|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
10880
건축물의 구조기준 등에 관한 규칙 35 조
1항
1호
"1. 각층의 대린벽으로 구획된 각 벽에 있어서 개구부의 폭의 합계는 그 벽의 길이의 2분의 1이하로 하여야 한다."
//건축물의 구조기준 등에 관한 규칙 35조 (개구부) 1항 1호 Check(RSSB_35_1_1){ KS } KS{ Wall myWall1{ isObjectProperty(Wall.isRightAngleCrossingWall) = TRUE isInstalled(Wall, Floor.One) = TRUE } Wall myWall2{ isPartitioned(Wall, , myWall1) = TRUE } WL = getObjectWidth(myWall2) OW = getObjectWidth(myOpening) Opening myOpening{ isInstalled(Opening, Wall) = TRUE } Sum(OW) <= WL * 1/2 }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
10881
건축물의 구조기준 등에 관한 규칙 35 조
1항
2호
"2. 하나의 층에 있어서의 개구부와 그 바로 윗층에 있는 개구부와의 수직거리는 600밀리미터 이상으로 하여야 한다. 같은 층의 벽에 상하의 개구부가 분리되어 있는 경우 그 개구부 사이의 거리도 또한 같다."
//건축물의 구조기준 등에 관한 규칙 35조 (개구부) 1항 2호 Check(RSSB_35_1_2){ KS2 AND IF CS THEN KS1 } KS2{ Opening myOpening1{ isInstalled(Opening, Floor.One) = TRUE } Opening myOpening2{ isInstalled(Opening, myOpening1.Floor.UpperFloor) = TRUE } getObjectVerticalDistance(myOpening1, myOpening2) >= 600mm } CS{ Opening myOpening3{ isInstalled(Opening, Floor.One.Wall.One) = TRUE } getObjectInterval(myOpening3,,a) >= 600mm }
|