자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 7호 라목 Check(NFSC203_7_3_7_라){ KS } KS{ Pipe myPipe{ isObjectProperty(Pipe.isForAir) = TRUE } isConnectedTo(myPipe, DetectingElement.One) = TRUE getObjectLength(myPipe) <= 100m }
Python Code 변환 예정
자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 8호 나목 Check(NFSC203_7_3_8_나){ KS } KS{ isConnectedTo(ThermocoupleElement, DetectingElement.One) = TRUE getObjectCount(ThermocoupleElement) <= 20 }