|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9350
연결살수설비의 화재안전기준(nfsc 503) 5 조
4항
1호
"1. 송수구의 가장 먼 가지배관의 끝으로부터 연결하여 설치할 것 "
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 4항
Check(NFSC503_5_4_1){ KS } KS{ Pipe myPipe1{ isObjectProperty(Pipe.isForTest) = TRUE } Port myPort{ getObjectProperty(Port.typeForWater) = "FireDepartmentConnection" } Pipe myPipe2{ isObjectProperty(Pipe.isBranchLines) = TRUE isFarthestDistance(myPort, Pipe) = TRUE }
isConnectedTo(myPipe1, myPipe2) = TRUE }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9351
연결살수설비의 화재안전기준(nfsc 503) 5 조
4항
2호
"2. 시험장치 배관의 구경은 가장 먼 가지배관의 구경과 동일한 구경으로 하고, 그 끝에는 물받이 통 및 배수관을 설치하여 시험 중 방사된 물이 바닥으로 흘러내리지 아니하도록 할 것. 다만, 목욕실·화장실 또는 그 밖의 배수처리가 쉬운 장소의 경우에는 물받이 통 또는 배수관을 설치하지 아니할 수 있다. "
// 연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 4항 2호
Check(NFSC503_5_4_2){ KS } KS{ Pipe myPipe1{ isObjectProperty(Pipe.isForTest) = TRUE } Pipe myPipe2{ isObjectProperty(Pipe.isBranchLines) = TRUE isFarthestDistance(myPipe1, Pipe) = TRUE } DP = getObjectDiameter(myPipe1)
getObjectDiameter(myPipe2) = DP
}
|