|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14919
간이스프링클러설비의 화재안전기준(NFSC 103A) 8 조
11항
1호
"1. 개폐표시형밸브를 설치할 것"
11항 1호
Check(NFSC503A_8_11_1){
KS
}
KS{
Valve myValve{
isObjectProperty(Valve.isIndicatingValve) = TRUE
}
Pipe myPipe{
isObjectProperty(Pipe.isSecondaryPipe) = TRUE
}
isInstalled(myValve, myPipe) = TRUE
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14920
간이스프링클러설비의 화재안전기준(NFSC 103A) 8 조
11항
2호
"2. 제1호에 따른 밸브와 준비작동식유수검지장치 사이의 배관은 다음 각 목과 같은 구조로 할 것"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 11항 2호
Check(NFSC503A_8_11_2){
IF CS THEN KS
}
CS{
Valve myValve{
isObjectProperty(Valve.isIndicatingValve) = TRUE
}
WaterflowIndicator myWaterflowIndicator{isObjectProperty(WaterflowIndicator.type) = "PreactionWaterflowIndicator"
}
isInstalledInOrder(myValve, Pipe, myWaterflowIndicator) = TRUE
}
KS{
getResult(NFSC503A_8_11_2_가) = TRUE
getResult(NFSC503A_8_11_2_나) = TRUE
}
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14921
간이스프링클러설비의 화재안전기준(NFSC 103A) 8 조
11항
2호
가목
"가. 수직배수배관과 연결하고 동 연결배관상에는 개폐밸브를 설치할 것"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 11항 2호 가목
Check(NFSC503A_8_11_2_가){
KS
}
KS{
Pipe myPipe{
isObjectProperty(Pipe.usage) = "WaterDrainPipe"
isObjectProperty(Pipe.isRiser) = TRUE
}
Valve myValve{
isObjectProperty(Valve.isShutoffValve) = TRUE
}
isConnectedTo(Pipe, myPipe) = TRUE
isInstalled(myValve, Pipe) = TRUE
}
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14922
간이스프링클러설비의 화재안전기준(NFSC 103A) 8 조
11항
2호
나목
"나. 자동배수장치 및 압력스위치를 설치할 것"
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 11항 2호 나목
Check(NFSC503A_8_11_2_나){
KS
}
KS{
isInstalled(AutomaticDrainSystem, Pipe) = TRUE
isInstalled(PressureSwitch, Pipe) = TRUE
}
|
|
PAGE MENU
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계
