|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
1527
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 23 조
1항
"제23조(방화지구안의 지붕ㆍ방화문 및 외벽등) ①「건축법」 (이하 "법"이라 한다) 제51조제3항에 따라 방화지구 내 건축물의 지붕으로서 내화구조가 아닌 것은 불연재료로 하여야 한다. <개정 2005.7.22., 2010.12.30.>"
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 23조 (방화지구안의 지붕ㆍ방화문 및 외벽등) 1항
Check(REFB_23_1){
IF CS THEN KS
}
CS{
Building myBuilding{
getObjectProperty(Building.SpecialPurposeDistrict.type) = "FirePreventionDistrict"
}
Roof myRoof{
hasObject(myBuilding, Roof) = TRUE
}
isObjectProperty(myRoof.isFireResistantStructure) != TRUE
}
KS{
isObjectProperty(myRoof.Material.nonCombustibility) = TRUE
}
|
|
|
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
1527
건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 23 조
1항
"제23조(방화지구안의 지붕ㆍ방화문 및 외벽등) ①「건축법」 (이하 "법"이라 한다) 제51조제3항에 따라 방화지구 내 건축물의 지붕으로서 내화구조가 아닌 것은 불연재료로 하여야 한다. <개정 2005.7.22., 2010.12.30.>"
//건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 23조 (방화지구안의 지붕ㆍ방화문 및 외벽등) 1항
Check(REFB_23_1){
IF CS THEN KS
}
CS{
Building myBuilding{
getObjectProperty(Building.SpecialPurposeDistrict.type) = "FirePreventionDistrict"
}
Roof myRoof{
hasObject(myBuilding, Roof) = TRUE
}
isObjectProperty(myRoof.isFireResistantStructure) != TRUE
}
KS{
isObjectProperty(myRoof.Material.nonCombustibility) = TRUE
}
|