|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9361
연결살수설비의 화재안전기준(nfsc 503) 5 조
10항
1호
"1. 가지배관에는 헤드의 설치지점 사이마다 1개 이상의 행가를 설치하되, 헤드간의 거리가 3.5 m를 초과하는 경우에는 3.5m 이내마다 1개 이상 설치할 것. 이 경우 상향식헤드와 행가 사이에는 8 ㎝ 이상의 간격을 두어야 한다."
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 1호
Check(NFSC503_5_10_1){ KS }
Pipe myPipe{ isObjectProperty(Pipe.isBranchLines)=True } Head myHead{ getObjectProperty(Head.installationDirectionType)="BottomUpType" }
KS{ isInstalled(Hanger, myPipe, "헤드의 설치지점 사이")=True IF getObjectDistance(Head)>3.5 m THEN isInstalled(Hanger, myPipe, 3.5 m)=True getObjectDistance(myHead, Hanger)>8 cm
getResult(NFSC503_5_10_3)=True }
L
|
특정 하위 법규문장의 검토결과가 반드시 만족하여야 상위법규가 만족하는 관계
|
9363
연결살수설비의 화재안전기준(nfsc 503) 5 조
10항
3호
"3. 제1호와 제2호의 수평주행배관에는 4.5 m 이내마다 1개 이상 설치할 것"
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 3호
Check(NFSC503_5_10_3){ IF CS THEN KS }
CS{ isObjectProperty(Pipe.isFeedMains)=True }
Pipe myPipe2{ isObjectProperty(Pipe.isFeedMains)=True }
KS{ isInstalled(Hanger, myPipe2,4.5 m)=True
}
|
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9362
연결살수설비의 화재안전기준(nfsc 503) 5 조
10항
2호
"2. 교차배관에는 가지배관과 가지배관사이마다 1개 이상의 행가를 설치하되, 가지배관 사이의 거리가 4.5 m를 초과하는 경우에는 4.5 m 이내마다 1개 이상 설치할 것"
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 2호
Check(NFSC503_5_10_2){ KS }
Pipe myPipe{ isObjectProperty(Pipe.isCrossMains)=True } Pipe myPipe2{ isObjectProperty(Pipe.isBranchLines)=True }
KS{ isInstalled(Hanger, myPipe, "가지배관 사이")=True
IF getObjectDistance(myPipe2)>4.5 m THEN isInstalled(Hanger, myPipe, 4.5 m)=True END IF
getResult(NFSC503_5_10_3)=True }
|
|
|
L
|
하위 법규문장 모두 만족해야 상위법규가 만족하는 관계
|
9363
연결살수설비의 화재안전기준(nfsc 503) 5 조
10항
3호
"3. 제1호와 제2호의 수평주행배관에는 4.5 m 이내마다 1개 이상 설치할 것"
//연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 10항 3호
Check(NFSC503_5_10_3){ IF CS THEN KS }
CS{ isObjectProperty(Pipe.isFeedMains)=True }
Pipe myPipe2{ isObjectProperty(Pipe.isFeedMains)=True }
KS{ isInstalled(Hanger, myPipe2,4.5 m)=True
}
|