|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14213
비상경보설비의 화재안전기준(NFSC 201) 5 조
1호
"1. 각 실(이웃하는 실내의 바닥면적이 각각 30㎡ 미만이고 벽체의 상부의 전부 또는 일부가 개방되어 이웃하는 실내와 공기가 상호유통되는 경우에는 이를 1개의 실로 본다)마다 설치하되, 바닥면적이 150㎡를 초과하는 경우에는 150㎡마다 1개 이상 설치할 것 "
// 비상경보설비의 화재안전기준(NFSC 201) 5조 (단독경보형감지기) 1호
Check(NFSC201_5_0_1){
IF (CS1 THEN KS1) OR (CS2 THEN KS2)
}
CS1{
Room myRoom{
getFloorArea(Room) <= 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
getFloorArea(myRoom2) <= 30m2
}
KS1{
Room myRoom{
getFloorArea(Room) <= 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
SelfcontainedTypeFireAlarmDevice mySelfcontainedTypeFireAlarmDevice{
hasSpace(myRoom, SelfcontainedTypeFireAlarmDevice) = TRUE
}
isExist(mySelfcontainedTypeFireAlarmDevice) = TRUE
}
CS2{
Room myRoom{
getFloorArea(Room) > 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
getFloorArea(myRoom2) <= 30m2
}
KS2{
Room myRoom{
getFloorArea(Room) > 150m2
}
Room myRoom2{
isAdjacent(myRoom, Room) = TRUE
}
Sensor mySensor{
isObjectProperty(Sensor.isSelfcontainedTypeFireAlarmDevice) = TRUE
hasSpace(myRoom, Sensor ) = TRUE
}
isInstalled(myRoom, mySelfcontainedTypeFireAlarmDevice, c, 150m2) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14214
비상경보설비의 화재안전기준(NFSC 201) 5 조
2호
"2. 최상층의 계단실의 천장(외기가 상통하는 계단실의 경우를 제외한다)에 설치할 것"
// 비상경보설비의 화재안전기준(NFSC 201) 5조 (단독경보형감지기) 2호
Check(NFSC201_5_0_2){
KS
}
KS{
Ceiling myCeiling{
hasSpace(Building.TopFloor.Stair.Space, Ceiling) = TRUE
}
Sensor mySensor{
isObjectProperty(Sensor.isSelfcontainedTypeFireAlarmDevice) = TRUE
}
isInstalled(myCeiling, mySensor) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14216
비상경보설비의 화재안전기준(NFSC 201) 5 조
4호
"4. 상용전원을 주전원으로 사용하는 단독경보형감지기의 2차전지는 법 제39조에 따라 제품검사에 합격한 것을 사용할 것 "
// 비상경보설비의 화재안전기준(NFSC 201) 5조 (단독경보형감지기) 2호
Check(NFSC201_5_0_2){
KS
}
KS{
Ceiling myCeiling{
hasSpace(Building.TopFloor.Stair.Space, Ceiling) = TRUE
}
Sensor mySensor{
isObjectProperty(Sensor.isSelfcontainedTypeFireAlarmDevice) = TRUE
}
isInstalled(myCeiling, mySensor) = TRUE
}
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
