자동화재탐지설비의 화재안전기준(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
} 

자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 7호 마목
Check(NFSC203_7_3_7_마){
	KS
}
KS{
	isInstalled(DetectingElement, Wall) = TRUE
	getObjectGradient(Wall, DetectingElement) < 5
} 

자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 7호 바목
Check(NFSC203_7_3_7_바){
	KS
}
KS{
	getObjectVerticalDistance(FloorSlab, DetectingElement) >= 0.8m
	getObjectVerticalDistance(FloorSlab, DetectingElement) <= 1.5m
}
} 

자동화재탐지설비의 화재안전기준(nfsc 203) 7조 (감지기) 3항 8호 나목
Check(NFSC203_7_3_8_나){
	KS
}
KS{
	isConnectedTo(ThermocoupleElement, DetectingElement.One) = TRUE
	getObjectCount(ThermocoupleElement) <= 20
}