|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
14868
간이스프링클러설비의 화재안전기준(NFSC 103A) 5 조
4항
2호
"2. 압력수조에는 수위계·급수관·배수관·급기관·맨홀·압력계· 안전장치 및 압력저하 방지를 위한 자동식 공기압축기를 설치 할 것 "
// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 4항 2호
Check(NFSC503A_5_4_2){
KS
}
KS{
Tank myTank{
isObjectProperty(Tank.operationType) = "HydropneumaticTank"
}
Pipe myPipe{
isObjectProperty(Pipe.usage)="WaterSupplyPipe"
OR isObjectProperty(Pipe.usage)="WaterDrainPipe"
OR isObjectProperty(Pipe.usage)="AirSupplyPipe"
}
AirCompressor myAirCompressor{
isObjectProperty(AirCompressor.isAutomatic) = TRUE
}
isInstalled(WaterLevelGauge, myTank) = TRUE
isInstalled(myPipe, myTank) = TRUE
isInstalled(Manshole, myTank) = TRUE
isInstalled(PressureGauge, myTank) = TRUE
isInstalled(SafetyDevice, myTank) = TRUE
isInstalled(AirCompressor, myTank) = TRUE
}
|