Ministry of Land, Infrasrtucture and Transport | Korea Agency for Infrastructure Technology Advancement | Space and Design IT Lab | Hanyang University
Open BIM based Technological Environment for Building Design Quality Enhancement
1-2. 설계품질검증 자동화를 위한 각종 법규 및 제기준의 체계화된 논리규칙 데이터베이스 구축 - 건축물 설계품질 혁신을 위한 개방형 BIM 기술 환경 구축 | 국토교통부
  Home Welcome to BIM Project Website - Hanyang University
PAGE MENU   MainPage
전체법규 - 법규데이터베이스
- 대한민국 전체 법규 목록
- 설계품질검토 대상 관련법규
대상법규 - 문장 논리규칙체계화
- 조항단위 논리규칙체계
- 문장단위 논리규칙체계
주어부 - 객체.속성 데이터베이스
- 법규로부터의 객체.속성 분류
- 명칭DB: 객체 | 객체및속성
서술부 - 함수 데이터베이스
- 논리규칙화 함수 분류
- 논리규칙화 함수 DB
관계부 - 문장 내.외 관계논리
- 문장 내.외 관계유형분류
- 법규조항관계도:
1차년도 | 2차년도 | 3차년도
- 문장 내.외관계 논리체계화
문장단위 | 체크리스트 단위
KBIMCode 데이터베이스
- KBIMCode Lang. Definition
- KBIMCode Editor
- KBimCode Database:
문장단위 | 조항단위
- KBimLogic Applications
 
     HOME
설계품질검토용 건축법 및 관련법규 - KBIMCode (문장단위)
    1      
1 / 1 page Total 1,131/ 1,131 records    신규입력 엑셀저장
Select
ALL
None
#
ID
Law
Jo
JO Name
HANG
HO
MOK
Text
Search!
1
1398 건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 제 11조 5 항 2호

2. 제1종 근린생활시설 중 마을회관ㆍ마을공동작업소ㆍ마을공동구판장ㆍ변전소ㆍ양수장ㆍ정수장ㆍ대피소ㆍ공중화장실 기타 이와 유사한 것





건축물의 피난ㆍ방화구조 등의 기준에 관한 규칙 11조 (건축물의 바깥쪽으로의 출구의 설치기준) 5항 2호

Check(REFB_11_5_2){
      

KS


}





KS {

Building myBuilding{

getBuildingUsage() = “ClassINeighborhoodLivingFacility.VillageHall”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunityWorkspace”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.CommunitySalesShop”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Substation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PumpingStation”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PurificationPlant”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.Shelter”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicLibrary”

OR getBuildingUsage() = “ClassINeighborhoodLivingFacility.PublicToilet”



}



isExist(myBuilding) = TRUE

} 














Modify
2
9355 연결살수설비의 화재안전기준(nfsc 503) 제 5조 8 항

⑧급수배관에 설치되어 급수를 차단할 수 있는 개폐밸브는 개폐표시형으로 하여야 한다. 이 경우 펌프의 흡입측배관에는 버터플라이밸브(볼형식의 것을 제외한다)외의 개폐표시형밸브를 설치하여야 한다.





//  연결살수설비의 화재안전기준(nfsc 503) 5조 (배관 등) 8항

Check(NFSC503_5_6){
	IF CS THEN KS
}
	Pipe myPipe{
	isObjectProperty(Pipe.usage) = "WaterSupplyPipe"
	}
	Valve myValve1{
	isObjectProperty(Valve.isShutoffValve) = TRUE
	}
CS{
	isInstalled(myValve1,myPipe) = TRUE
}
KS{
	isObjectProperty(myValve1.isIndicatingValve) = TRUE
	Valve myValve2{
	isInstalled(Valve, Pump.Inlet) = TRUE
	}
	isObjectProperty(myValve2.isIndicatingValve) = TRUE
	isObjectProperty(myValve2.isButterflyValve) = FALSE
 } 














Modify
3
9955 주차장법 시행령 제 별표1조

부설주차장의 설치대상 시설물 종류 및 설치기준(제6조제1항 관련) (시설물 :설치기준) 1. 위락시설 :○ 시설면적 100㎡당 1대(시설면적/100㎡) 2. 문화 및 집회시설(관람장은 제외한다), 종교시설, 판매시설, 운수시설, 의료시설(정신병원·요양병원 및 격리병원은 제외한다), 운동시설(골프장·골프연습장 및 옥외수영장은 제외한다), 업무시설(외국공관 및 오피스텔은 제외한다), 방송통신시설 중 방송국, 장례식장 :○ 시설면적 150㎡당 1대(시설면적/150㎡) 3. 제1종 근린생활시설[「건축법 시행령」 별표 1 제3호바목 및 사목(공중화장실, 대피소, 지역아동센터는 제외한다)은 제외한다], 제2종 근린생활시설, 숙박시설 :○ 시설면적 200㎡당 1대(시설면적/200㎡) 4. 단독주택(다가구주택은 제외한다) :○ 시설면적 50㎡ 초과 150㎡ 이하: 1대 :○ 시설면적 150㎡ 초과: 1대에 150㎡를 초과하는 100㎡당 1대를 더한 대수[1+{(시설면적-150㎡)/100㎡}] 5. 다가구주택, 공동주택(기숙사는 제외한다), 업무시설 중 오피스텔 :○ 「주택건설기준 등에 관한 규정」 제27조제1항에 따라 산정된 주차대수. 이 경우 다가구주택 및 오피스텔의 전용면적은 공동주택의 전용면적 산정방법을 따른다. 6. 골프장, 골프연습장, 옥외수영장, 관람장 :○ 골프장: 1홀당 10대(홀의 수×10) ○ 골프연습장: 1타석당 1대(타석의 수×1) ○ 옥외수영장: 정원 15명당 1대(정원/15명) ○ 관람장: 정원 100명당 1대(정원/100명) 7. 수련시설, 공장(아파트형은 제외한다), 발전시설 :○ 시설면적 350㎡당 1대(시설면적/350㎡) 8. 창고시설 :○ 시설면적 400㎡당 1대(시설면적/400㎡) 9. 학생용 기숙사 :○ 시설면적 400㎡당 1대(시설면적/400㎡) 10. 그 밖의 건축물 :○ 시설면적 300㎡당 1대(시설면적/300㎡) 비고 1. 시설물의 종류는 다른 법령에 특별한 규정이 없으면 「건축법 시행령」 별표 1에 따르되, 다음 각 목의 어느 하나에 해당하는 시설물을 건축하거나 설치하려는 경우에는 부설주차장을 설치하지 않을 수 있다. 가. 제1종 근린생활시설 중 변전소·양수장·정수장·대피소·공중화장실, 그 밖에 이와 유사한 시설 나. 종교시설 중 수도원·수녀원·제실(祭室) 및 사당 다. 동물 및 식물 관련 시설(도축장 및 도계장은 제외한다) 라. 방송통신시설(방송국, 전신전화국, 통신용 시설 및 촬영소만을 말한다) 중 송신·수신 및 중계시설 마. 주차전용건축물(노외주차장인 주차전용건축물만을 말한다)에 주차장 외의 용도로 설치하는 시설물(판매시설 중 백화점·쇼핑센터·대형점과 문화 및 집회시설 중 영화관·전시장·예식장은 제외한다) 바. 「도시철도법」에 따른 역사(「철도건설법」 제2조제7호에 따른 철도건설사업으로 건설되는 역사를 포함한다) 사. 「건축법 시행령」 제6조제1항제4호에 따른 전통한옥 밀집지역 안에 있는 전통한옥 2. 시설물의 시설면적은 공용면적을 포함한 바닥면적의 합계를 말하되, 하나의 부지 안에 둘 이상의 시설물이 있는 경우에는 각 시설물의 시설면적을 합한 면적을 시설면적으로 하며, 시설물 안의 주차를 위한 시설의 바닥면적은 그 시설물의 시설면적에서 제외한다. 3. 시설물의 소유자는 부설주차장(해당 시설물의 부지에 설치하는 부설주차장은 제외한다)의 부지(「공간정보의 구축 및 관리 등에 관한 법률」 제67조제1항에 따른 주차장 지목만을 말한다)의 소유권을 취득하여 이를 주차장전용으로 제공해야 한다. 다만, 주차전용건축물에 부설주차장을 설치하는 경우에는 그 건축물의 소유권을 취득해야 한다. 4. 용도가 다른 시설물이 복합된 시설물에 설치해야 하는 부설주차장의 주차대수는 용도가 다른 시설물별 설치기준에 따라 산정(위 표 제5호의 시설물은 주차대수의 산정대상에서 제외하되, 비고 제8호에서 정한 기준을 적용하여 산정된 주차대수는 따로 합산한다)한 소수점 이하 첫째자리까지의 주차대수를 합하여 산정한다. 다만, 단독주택(다가구주택은 제외한다. 이하 이 호에서 같다)의 용도로 사용되는 시설의 면적이 50제곱미터 이하인 경우 단독주택의 용도로 사용되는 시설의 면적에 대한 부설주차장의 주차대수는 단독주택의 용도로 사용되는 시설의 면적을 100제곱미터로 나눈 대수로 한다. 5. 시설물을 용도변경하거나 증축함에 따라 추가로 설치해야 하는 부설주차장의 주차대수는 용도변경하는 부분 또는 증축으로 인하여 면적이 증가하는 부분(이하 "증축하는 부분”이라 한다)에 대해서만 설치기준을 적용하여 산정한다. 다만, 위 표 제5호에 따른 시설물을 증축하는 경우에는 증축 후 시설물의 전체면적에 대하여 위 표 제5호에 따른 설치기준을 적용하여 산정한 주차대수에서 증축 전 시설물의 면적에 대하여 증축 시점의 위 표 제5호에 따른 설치기준을 적용하여 산정한 주차대수를 뺀 대수로 한다. 6. 설치기준(위 표 제5호에 따른 설치기준은 제외한다. 이하 이 호에서 같다)에 따라 주차대수를 산정할 때 소수점 이하의 수(시설물을 증축하는 경우 먼저 증축하는 부분에 대하여 설치기준을 적용하여 산정한 수가 0.5 미만일 때에는 그 수와 나중에 증축하는 부분들에 대하여 설치기준을 적용하여 산정한 수를 합산한 수의 소수점 이하의 수. 이 경우 합산한 수가 0.5 미만일 때에는 0.5 이상이 될 때까지 합산해야 한다)가 0.5 이상인 경우에는 이를 1로 본다. 다만, 해당 시설물 전체에 대하여 설치기준(시설물을 설치한 후 법령·조례의 개정 등으로 설치기준 또는 설치제한기준이 변경된 경우에는 변경된 설치기준 또는 설치제한기준을 말한다)을 적용하여 산정한 총주차대수가 1대 미만인 경우에는 주차대수를 0으로 본다. 7. 용도변경되는 부분에 대하여 설치기준을 적용하여 산정한 주차대수가 1대 미만인 경우에는 주차대수를 0으로 본다. 다만, 용도변경되는 부분에 대하여 설치기준을 적용하여 산정한 주차대수의 합(2회 이상 나누어 용도변경하는 경우를 포함한다)이 1대 이상인 경우에는 그러하지 아니하다. 8. 단독주택 및 공동주택 중 「주택건설기준 등에 관한 규정」이 적용되는 주택에 대해서는 같은 규정에 따른 기준을 적용한다. 9. 승용차와 승용차 외의 자동차를 함께 주차하는 부설주차장의 경우에는 승용차 외의 자동차의 주차가 가능하도록 하여야 하며, 승용차 외의 자동차를 더 많이 주차하는 부설주차장의 경우에는 그 이용 빈도에 따라 승용차 외의 자동차의 주차에 적합하도록 승용차 외의 자동차를 주차할 주차장을 승용차용 주차장과 구분하여 설치해야 한다. 이 경우 주차대수의 산정은 승용차를 기준으로 한다. 10. 「장애인·노인·임산부 등의 편의증진 보장에 관한 법률 시행령」 제4조 또는 「교통약자의 이동편의 증진법 시행령」 제12조에 따라 장애인전용 주차구역을 설치해야 하는 시설물에는 부설주차장 설치기준에 따른 부설주차장 주차대수의 2퍼센트부터 4퍼센트까지의 범위에서 장애인의 주차수요를 고려하여 지방자치단체의 조례로 정하는 비율 이상을 장애인전용 주차구획으로 구분·설치해야 한다. 다만, 부설주차장의 설치기준에 따른 부설주차장의 주차대수가 10대 미만인 경우에는 그러하지 아니하다. 11. 제6조제2항에 따라 지방자치단체의 조례로 부설주차장 설치기준을 강화 또는 완화하는 때에는 시설물의 시설면적·홀·타석·정원을 기준으로 한다. 12. 경형자동차의 전용주차구획으로 설치된 주차단위구획은 전체 주차단위구획 수의 10퍼센트까지 부설주차장 설치기준에 따라 설치된 것으로 본다. 13. 2008년 1월 1일 전에 설치된 기계식주차장치로서 다음 각 목에 열거된 형태의 기계식주차장치를 설치한 주차장을 다른 형태의 주차장으로 변경하여 설치하는 경우에는 변경 전의 주차대수의 2분의 1에 해당하는 주차대수를 설치하더라도 변경 전의 주차대수로 인정한다. 가. 2단 단순승강 기계식주차장치: 주차구획이 2층으로 되어 있고 위층에 주차된 자동차를 출고하기 위하여는 반드시 아래층에 주차되어 있는 자동차를 출고해야 하는 형태로서, 주차구획 안에 있는 평평한 운반기구를 위·아래로만 이동하여 자동차를 주차하는 기계식주차장치 나. 2단 경사승강 기계식주차장치: 주차구획이 2층으로 되어 있고 주차구획 안에 있는 경사진 운반기구를 위·아래로만 이동하여 자동차를 주차하는 기계식주차장치 14. 비고 제13호에 따라 기계식주차장치를 설치한 주차장을 변경하여 변경 전의 주차대수로 인정받은 후 해당 시설물의 용도변경 또는 증축 등으로 인하여 주차장을 추가로 설치해야 하는 경우에는 비고 제13호 각 목의 기계식주차장치를 설치한 주차장을 변경하면서 줄어든 주차대수도 포함하여 설치해야 한다. 15. "학생용 기숙사"란 기숙사 중 「초·중등교육법」 제2조 및 「고등교육법」 제2조에 따른 학교에 재학 중인 학생을 위한 기숙사를 말한다.





//주차장법 시행령 별표1 부설주차장의 설치대상 시설물 종류 및 설치기준





Check(EDPA_*_1_1){

IF CS THEN KS

}

Space mySpace1{

getBuildingUsage()=” AmusementFacility”

myTotalFloorArea = getTotalFloorArea(mySpace1)

CS{

isExist(mySpace1)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea/100

}





Check(EDPA_*_1_2){

IF CS THEN KS

}

Space mySpace2{

(getBuildingUsage()= “CulturalAndAssemblyFacility”

AND getBuildingUsage() !=” Auditorium”)

OR (getBuildingUsage() = “ReligiousFacility | CommercialFacility | TransportationFacilit”

OR getBuildingUsage() = ”MedicalFacility”

AND getBuildingUsage() != “MentalHospital | ConvalescentHospital | DetentionHoispital”)

OR (getBuildingUsage() = “SportsFacility” 

AND getBuildingUsage() != “GolfCourse | GolfDrivingRange | OurdoorSwimmingPool”)

OR (getBuildingUsage()= “BusinessFacility”

AND getBuildingUsage() != “ForeignOfficialResidence | Officetels” )

}

myTotalFloorArea2 = getTotalFloorArea(mySpace2)

}

CS{

isExist(mySpace2)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea2/150

}



Check(EDPA_*_1_3){

IF CS THEN KS

}

Space mySpace3{

 ((getBuildingUsage ()=” ClassINeighborhoodLivingFacility”

AND getSpaceUsage != “PublicToilet | Shelter | CommunityChildCenter”)

OR getBuildingUsage ()=”ClassIINeighborhoodLivingFacility”

OR getBuildingUsage ()=”LodgingFacility”)

}

myTotalFloorArea3 = getTotalFloorArea(mySpace3)

}

CS{

isExist(mySpace3)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea3/200

}





Check(EDPA_*_1_4){

IF CS1 THEN KS1 OR CS2 THEN KS2

}

Space mySpace1{

getBuildingUsage ()=” DetachedHouse”

}

myTotalFloorArea = getTotalFloorArea(mySpace1)

}

CS1{

myTotalFloorArea>50 

AND myTotalFloorArea<=150

}

KS1{

isObjectProperty(parkingLot.numberofParkingUnit)=1

}

CS2{

myTotalFloorArea>150 

}

KS2{

(myTotalFloorArea-150)/100+1=ParkingLot.numberofParkingUnit

}





Check(EDPA_*_1_7){

IF CS THEN KS

}

Space mySpace7{

getBuildingUsage ()=”Trainingfacility” 

getBuildingUsage ()=”Factory”

getBuildingUsage () != ”AptartmentTypeFactory”

}

myTotalFloorArea7 = getTotalFloorArea(myspace7)

CS{

isExist(mySpace7)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea7/400

}



Check(EDPA_*_1_8){

IF CS THEN KS

}

Space mySpace8{

getBuildingUsage ()= “Warehouse”

}

myTotalFloorArea8 = getTotalFloorArea(mySpace8)

}

CS{

isExist(mySpace8)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea8/400

}



Check(EDPA_*_1_9){

IF CS THEN KS

}

Space mySpace9{

getBuildingUsage ()= “DormitoryForStudents”

}

myTotalFloorArea9 = getTotalFloorArea(myspace9)

CS{

isExist(mySpace9)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea9/400

}





Check(EDPA_*_1_10){

IF CS THEN KS

}

Space mySpace10 { 

getObject(Space) != myspace1 | myspace2 | myspace3 | myspace4 | myspace5 | myspace6 | myspace7 | myspace8 | myspace9 |

}

myTotalFloorArea10 = getTotalFloorArea(mySpace10)

}

CS{

isExist(mySpace9)=TRUE

} 

KS{

ParkingLot.numberOfParkingUnit<=myTotalFloorArea10/300

}





Check(EDPA_*_1_0_1){

IF CS THEN KS

}

CS{

getResult(EDPA_*_1_0_1_가)= TRUE

OR getResult(EDPA_*_1_0_1_나)= TRUE

OR getResult(EDPA_*_1_0_1_다)= TRUE

OR getResult(EDPA_*_1_0_1_라)= TRUE

OR getResult(EDPA_*_1_0_1_마)= TRUE

OR getResult(EDPA_*_1_0_1_바)= TRUE

OR getResult(EDPA_*_1_0_1_사)= TRUE

}

KS{

isExist(ParkingLot.isAttachedParking)=FALSE

}



Check(EDPA_*_1_0_1_가){

KS

}

isExist(ClassINeighborhoodLivingFacility.Substation)=TRUE

OR isExist(ClassINeighborhoodLivingFacility.PumpingStation)=TRUE

OR isExist(ClassINeighborhoodLivingFacility.PurificationPlant)=TRUE

OR isExist(ClassINeighborhoodLivingFacility.Shelter)=TRUE

OR isExist(ClassINeighborhoodLivingFacility.PublicToilet)=TRUE

Check(EDPA_*_1_0_1_나){

KS

}

isExist(ReligiousFacility.Monastery)=TRUE

OR isExist(ReligiousFacility.Convent)=TRUE

OR isExist(ReligiousFacility.Chapel)=TRUE

OR isExist(ReligiousFacility.Shrine)=TRUE

Check(EDPA_*_1_0_1_다){

KS

}

isExist(getBuildingUsage()=”FacilityForAnimalAndPlant”)=TRUE

AND isExist(getBuildingUsage()=”SlaughterHouse”)=FALSE

AND isExist(getBuildingUsage()=”ChickenSlaughterHouse”)=FALSE

Check(EDPA_*_1_0_1_라){

KS

}

isExist(FacilityForBroadcastingAndTelecommunication.TransmitAndReceptionAndTransitFacility)=TRUE

Check(EDPA_*_1_0_1_마){

KS

}

getObjectProperty(Building.isExclusiveUseOfParkingLot) = FALSE

(getBuildingUsage() != "CommercialFacility.DepartmentStore" OR "CommercialFacility.ShoppingCenter" OR  "LargeStore"

OR getBuildingUsage() != "CulturalAndAssemblyFacility.MovieTheater" OR  "CulturalAndAssemblyFacility.ExhibitionHall" OR "CulturalAndAssemblyFacility.WeddingHall"

Check(EDPA_*_1_0_1_바){

KS

}

getBuildingUsage()= “Station”

Check(EDPA_*_1_0_1_사){

KS

}

getResult(EDBA_6_1_4)=TRUE









Check(EDPA_*_1_0_4){

KS

}

Space mySpace{

getBuildingUsage()= “DetachedHouse”

getBuildingUsage() !=”Multi-familyHouses”

}

getTotalArea(mySpace)<=50m2

getTotalArea(mySpace)/100 = ParkingLot.numberOfParkingUnit 














Modify
4
14357 옥내소화전설비의 화재안전기준(NFSC 102) 제 6조 5 항

⑤ 펌프의 흡입 측 배관은 다음 각 호의 기준에 따라 설치하여야 한다.





//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항

Check(NFSC102_6_5){
	IF CS THEN KS	
}
CS{
	isInstalled(Pump.Inlet, Pipe) = TRUE
}
KS{
	getResult(NFSC503A_8_4_1) = TRUE
	getResult(NFSC503A_8_4_2) = TRUE
}
 














Modify
5
14359 옥내소화전설비의 화재안전기준(NFSC 102) 제 6조 5 항 1호

1. 공기고임이 생기지 아니하는 구조로 하고 여과장치를 설치할 것





//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 1호
Check(NFSC102_6_5_1){
	KS
}
KS{
	Pipe myPipe{
		isInstalled(Pump.Inlet, Pipe) = TRUE
	}
	isInstalled(myPipe,Filter) = TRUE
}
 














Modify
6
14360 옥내소화전설비의 화재안전기준(NFSC 102) 제 6조 5 항 2호

2. 수조가 펌프보다 낮게 설치된 경우에는 각 펌프(충압펌프를 포함한다)마다 수조로부터 별도로 설치할 것





//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 5항 2호
Check(NFSC102_6_5_2){
	IF CS THEN KS
}
CS{
	getObjectVerticalLocation(Pump, Tank) < 0 
}
KS{
	Pipe myPipe{
		isInstalled(Pump.Inlet, Pipe) = TRUE
	}
	isInstalled(myPipe, Pump.One) = TRUE
}
 














Modify
7
14366 옥내소화전설비의 화재안전기준(NFSC 102) 제 6조 8 항 1호

1. 성능시험배관은 펌프의 토출측에 설치된 개폐밸브 이전에서 분기하여 설치하고, 유량측정장치를 기준으로 전단 직관부에 개폐밸브를 후단 직관부에는 유량조절밸브를 설치할 것





//	옥내소화전설비의 화재안전기준(NFSC 102) 6조 (배관 등) 8항 1호
Check(NFSC102_6_8_1){
	KS
}

KS{
	Pipe myPipe{
		isObjectProperty(Pipe.isForPerformanceTest) = TRUE
	}

	Valve myValve{
		isObjectProperty(Valve.isShutoffValve) = TRUE
		isInstalled(Valve, Pump.Outlet) = TRUE
	}

	Valve myValve2{
		isObjectProperty(Valve.isShutoffValve) = TRUE
		isInstalled(Valve, Pump.Outlet) = FALSE
	}

	Valve myValve3{
		isObjectProperty(Valve.isFloatControlValve) = TRUE
	}

	isDiverged(Pump, myPipe) = TRUE
	getObjectDistance(Pump.StartPart, myPipe) < getObjectDistance(Pump.StartPart, myValve)

	isInstalled(myValve2, myPipe) = TRUE
	isInstalled(myValve3, myPipe) = TRUE
} 














Modify
8
14368 옥내소화전설비의 화재안전기준(NFSC 102) 제 6조 9 항

⑨ 가압송수장치의 체절운전 시 수온의 상승을 방지하기 위하여 체크밸브와 펌프사이에서 분기한 구경 20㎜ 이상의 배관에 체절압력 미만에서 개방되는 릴리프밸브를 설치하여야 한다.





//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 9항
Check(NFSC503A_6_9){
	KS
}
KS{
	Valve myValve1{
	isObjectProperty(Valve.isCheckValve) = TRUE
	}
	PP = getObjectProperty(Pump.shutoffPressure)
	Valve myValve2{
	isObjectProperty(Valve.isReliefVavle) = TRUE
	isObjectProperty(Valve.reliefPressure) < PP
	}

	isInstalledInOrder(myValve1, Pipe, Pump) = TRUE
	isObjectProperty(Pipe.diameter) >= 20mm
	isInstalled(myValve2, Pipe) = TRUE
}
 














Modify
9
14371 옥내소화전설비의 화재안전기준(NFSC 102) 제 6조 11 항

⑪ 급수배관에 설치되어 급수를 차단할 수 있는 개폐밸브(옥내소화전방수구를 제외한다)는 개폐표시형으로 하여야 한다. 이 경우 펌프의 흡입측 배관에는 버터플라이밸브 외의 개폐표시형밸브를 설치하여야 한다.





//  옥내소화전설비의 화재안전기준(nfsc 102) 6조 (배관 등) 11항
Check(NFSC503A_6_11){
	IF CS THEN KS
}
	Pipe myPipe{
	isObjectProperty(Pipe.usage) = "WaterSupplyPipe"
	}
	Valve myValve1{
	isObjectProperty(Valve.isShutoffValve) = TRUE
	}
S{
	isInstalled(myValve1,myPipe) = TRUE
	isInstalled(myValve1,myPort) = FALSE
}
KS{
	isObjectProperty(myValve1.isIndicatingValve) = TRUE
	Valve myValve2{
	isInstalled(Valve, Pump.Inlet) = TRUE
	}
	isObjectProperty(myValve2.isIndicatingValve) = TRUE
	isObjectProperty(myValve2.isButterflyValve) = FALSE
 } 














Modify
10
14511 스프링클러설비의 화재안전기준(NFSC 103) 제 4조 5 항 1호

1. 스프링클러펌프의 후드밸브 또는 흡수배관의 흡수구(수직회전축펌프의 흡수구를 포함한다. 이하 같다)를 다른 설비(소방용 설비 외의 것을 말한다. 이하 같다)의 후드밸브 또는 흡수구보다 낮은 위치에 설치한 때





//  스프링클러설비의 화재안전기준(nfsc 103) 4조 (수원) 5항 1호
Check(NFSC103_4_5_1){
	KS
}

Pump myPump{
	isInstalled(Pump, SprinklerSystem) = TRUE
}

Valve myValve{
	isObjectProperty(Valve.isFootValve) = TRUE
	isInstalled(Valve, myPump) = TRUE
}

Valve myValve2{
	isObjectProperty(Valve.isFootValve) = TRUE
	Valve != myValve
}

Pipe myPipe{
	isObjectProperty(Pipe.isObsorptionPipe) = TRUE
}

Obsorption myObsorptionOpening{
	isInstalled(ObsorptionOpening, myPipe) = TRUE
}

Obsorption myObsorptionOpening2{
	ObsorptionOpening != myObsorptionOpening
}

KS{
	getObjectVerticalLocation(myValve, myValve2) < 0
	OR getObjectVerticalLocation(myObsorptionOpening, myOpsorptionOpening2) < 0
} 














Modify
11
14703 스프링클러설비의 화재안전기준(NFSC 103) 제 12조 3 항

③ 제2항에 따른 비상전원 중 자가발전설비 또는 축전지설비(내연기관에 따른 펌프를 설치한 경우에는 내연기관의 기동 및 제어용축전지를 말한다)는 다음 각 호의 기준을, 비상전원수전설비는 「소방시설용비상전원수전설비의 화재안전기준(NFSC 602)」에 따라 설치하여야 한다.<개정 2013.6.10>





//	스프링클러설비의 화재안전기준(nfsc 103) 12조 (전원) 3항

Check(NFSC103_12_3){

	IF (CS1 OR CS2 THEN KS1) OR (CS3 THEN KS2)

}



	Pump myPump{

		getObjectProperty(Pump.systemType) = "InternalCombustionEngines"

	}



CS1{

	getResult(Unimplemented_NFSC103_12_2) = TRUE



	getObjectProperty(EmergencyPower.systemType) = "InhousePowerGenerationSystem"

	OR getObjectProperty(EmergencyPower.systemType) = "StorageBatterySystem"

}



CS2{

	isInstalled(Pump, InternalCombustionEngines) = TRUE

	isInstalled(ControlStorageBattery, InternalCombustionEngine) = TRUE

}



KS1{

	getResult(NFSC103_12_3_4) = TRUE

	OR getResult(NFSC103_12_3_8) = TRUE

}



CS3{

	getResult(Unimplemented_NFSC103_12_2) = TRUE

	getObjectProperty(EmergencyPower.systemType) = "EmergencyPowerReceivingSystem"

}



KS2{

	getResult(Unimplemented_NFSC602) = TRUE

} 














Modify
12
14799 스프링클러설비의 화재안전기준(NFSC 103) 제 16조 2 항

② 스프링클러설비의 가압송수장치로 사용하는 펌프를 옥내소화전설비·간이스프링클러설비·화재조기진압용 스프링클러설비·물분무소화설비·포소화설비 및 옥외소화전설비의 가압송수장치와 겸용하여 설치하는 경우의 펌프의 토출량은 각 소화설비에 해당하는 토출량을 합한 양 이상이 되도록 하여야 한다. 다만, 이들 소화설비 중 고정식 소화설비가 2 이상 설치되어 있고, 그 소화설비가 설치된 부분이 방화벽과 방화문으로 구획되어 있으며 각 소화설비에 지장이 없는 경우에는 펌프의 토출량 중 최대의 것 이상으로 할 수 있다.





//	스프링클러설비의 화재안전기준(NFSC 103) 16조 (수원 및 가압송수장치의 펌프 등의 겸용) 2항

Check(NFSC103_16_2){

	IF CS THEN KS

}



	Pump myPump{

		isInstalled(SprinklerSystem, PressurizedWaterSupplySystem) = TRUE

		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

	}



	Pump myPump2{

		isInstalled(IndoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE

		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

	}



	Pump myPump3{

		isInstalled(SimpleSprinklerSystem, PressurizedWaterSupplySystem) = TRUE

		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

	}



	Pump myPump4{

		isInstalled(SprinklerSystemForEarlyFireSuppression, PressurizedWaterSupplySystem) = TRUE

		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

	}



	Pump myPump5{

		isInstalled(WaterSprayExtingushingSystem, PressurizedWaterSupplySystem) = TRUE

		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

	}



	Pump myPump6{

		isInstalled(FoamExtinguishingSystem, PressurizedWaterSupplySystem) = TRUE

		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

	}



	Pump myPump7{

		isInstalled(OutdoorFireHydrantSystem, PressurizedWaterSupplySystem) = TRUE

		getObjectUsage(Pump) = "PressurizedWaterSupplySystem"

	}





CS{

	isShared(myPump, myPump2) = TRUE

	OR isShared(myPump, myPump3) = TRUE

	OR isShared(myPump, myPump4) = TRUE

	OR isShared(myPump, myPump5) = TRUE

	OR isShared(myPump, myPump6) = TRUE

	OR isShared(myPump, myPump7) = TRUE

}



KS{

	getObjectProperty(myPump.ratedDischargeRate) = PRD



	getObjectProperty(myPump2.ratedDischargeRate) + getObjectProperty(myPump3.ratedDischargeRate) + getObjectProperty(myPump4.ratedDischargeRate) + getObjectProperty(myPump5.ratedDischargeRate) + getObjectProperty(myPump6.ratedDischargeRate) + getObjectProperty(myPump7.ratedDischargeRate) = TPRD



	PRD >= TPRD

} 














Modify
13
14847 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 5조 2 항

② 전동기 또는 내연기관에 따른 펌프를 이용하는 가압송수장치는 다음 각 호의 기준에 따라 설치하여야 한다.





// 	간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항

Check(NFSC503A_5_2){
	IF CS THEN KS
}

CS{
	getObjectProperty(PressurizedWaterSupplySystem.supplyType)="PumpType"
}
KS{
	getResult(NFSC503A_5_2_3) = TRUE
	getResult(NFSC503A_5_2_4) = TRUE
	getResult(NFSC503A_5_2_5) = TRUE
	getResult(NFSC503A_5_2_6) = TRUE
	getResult(NFSC503A_5_2_7) = TRUE

} 














Modify
14
14850 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 5조 2 항 3호

3. 펌프는 전용으로 할 것. 다만, 다른 소화설비와 겸용하는 경우 각각의 소화설비의 성능에 지장이 없을 때에는 그러하지 아니하다.





// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치)2항 3호

Check(NFSC503A_5_2_3){
	KS
}

KS{
isObjectProperty(Pump.isShared) = FALSE
}




 














Modify
15
14851 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 5조 2 항 4호

4. 펌프의 토출측에는 압력계를 체크밸브 이전에 펌프토출측 플랜지에서 가까운 곳에 설치하고, 흡입측에는 연성계 또는 진공계를 설치할 것. 다만, 수원의 수위가 펌프의 위치보다 높거나 수직회전축 펌프의 경우에는 연성계 또는 진공계를 설치하지 아니할 수 있다.





// 간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (수원) 2항 4호



Check(NFSC503A_5_2_4){

	IF !CS THEN KS

}

CS{

	getObjectVerticalLocation(WaterSource, Pump) > 0

	OR isObjectProperty(Pump.isVerticalPump) = TRUE

}

KS{

	Valve myValve{

	isObjectProperty(Valve.isCheckValve) = TRUE

	}

	isInstalled(Pump.Outlet, myValve) = TRUE

	isInstalledInOrder(PressureGauge, myValve) = TRUE

} 














Modify
16
14855 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 5조 2 항 7호 가 목

가. 펌프의 토출압력은 그 설비의 최고위 살수장치의 자연압보다 적어도 0.2 ㎫이 더 크도록 하거나 가압송수장치의 정격토출압력과 같게할 것<신설 2013.6.10>





//  간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 7호 가목

Check(NFSC103A_5_2_7_1){

	KS

}



KS{

	getObjectProperty(Pump.dischargePressure) = PDP

	getObjectProperty(Sprinkler.dischargePressure) = SDP

	getObjectProperty(PressurizedWaterSupplySystem.ratedDischargePressure) = PWSDP

	

	(SDP + 0.2 <= PDP)

	OR(PDP = PWSDP)

} 














Modify
17
14857 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 5조 2 항 8호

8. 수원의 수위가 펌프보다 낮은 위치에 있는 가압송수장치에는 다음 각 목의 기준에 따른 물올림장치를 설치할 것 다만, 캐비닛형일 경우에는 그러하지 아니하다. <개정 2011.11.24>





// 	간이스프링클러설비의 화재안전기준(nfsc 103a) 5조 (가압송수장치) 2항 8호



Check(NFSC503A_5_2_8){

	IF (!CS1 AND CS2) THEN KS

}

CS1{

	isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE

}

CS2{



getObjectVerticalLocation(Pump, WaterSource,) < 0 	

}

KS{

	isInstalled(PressurizedWaterSupplySystem, WaterLiftingDevice) = TRUE

	getResult(NFSC503A_5_2_가) = TRUE

	getResult(NFSC503A_5_2_나) = TRUE

} 














Modify
18
14899 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 3 항 2호

2. 급수를 차단할 수 있는 개폐밸브는 개폐표시형으로 할 것. 이 경우 펌프의 흡입측배관에는 버터플라이밸브외의 개폐표시형밸브를 설치하여야 한다.





// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 3항 2호

Check(NFSC503A_8_3_2){
	KS2 AND IF CS THEN KS1
}
KS2{
	Valve myValve{
	isObjectProperty(Valve.isShutoffValve)=TRUE
	}
	isObjectProperty(myValve.isIndicatingValve) = TRUE
}
CS{
	Pipe myPipe{
	isInstalled(Pipe, Pump.Inlet) = TRUE
	}
	isInstalled(myValve, myPipe) = TRUE
}
KS1{
	isObjectProperty(myValve.isIndicatingValve) = TRUE
	isObjectProperty(myValve.isButterflyValve) = TRUE
}
 














Modify
19
14901 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 4 항

④ 펌프의 흡입측배관은 다음 각 호의 기준에 따라 설치하여야 한다.





//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항

Check(NFSC503A_8_4){
	IF CS THEN KS	
}
CS{
	isInstalled(Pump.Inlet, Pipe) = TRUE
}
KS{
	getResult(NFSC503A_8_4_1) = TRUE
	getResult(NFSC503A_8_4_2) = TRUE
}
 














Modify
20
14902 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 4 항 1호

1. 공기고임이 생기지 아니하는 구조로 하고 여과장치를 설치할 것





//간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 1호

Check(NFSC503A_8_4_1){
	KS
}
KS{
	Pipe myPipe{
		isInstalled(Pump.Inlet, Pipe) = TRUE
	}
	isInstalled(myPipe,Filter) = TRUE
} 














Modify
21
14903 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 4 항 2호

2. 수조가 펌프보다 낮게 설치된 경우에는 각 펌프(충압펌프를 포함한다)마다 수조로부터 별도로 설치할 것






// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 4항 2호

Check(NFSC103A_8_4_2){
	IF CS THEN KS
}
CS{
	getObjectVerticalLocation(Pump, Tank) < 0 
}
KS{
	Pipe myPipe{
		isInstalled(Pump.Inlet, Pipe) = TRUE
	}
	isInstalled(myPipe, Pump.One) = TRUE
} 














Modify
22
14906 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 6 항 1호

1. 성능시험배관은 펌프의 토출측에 설치된 개폐밸브 이전에서 분기하여 설치하고, 유량측정장치를 기준으로 전단 직관부에 개폐밸브를 후단 직관부에는 유량조절밸브를 설치할 것





//	옥내소화전설비의 화재안전기준(NFSC 102) 6조 (배관 등) 8항 1호

Check(NFSC102_6_8_1){

	KS

}



KS{

	Pipe myPipe{

		isObjectProperty(Pipe.isForTest) = TRUE

	}



	Valve myValve{

		isObjectProperty(Valve.isShutoffValve) = TRUE

		isInstalled(Valve, Pump.Outlet) = TRUE

	}



	Valve myValve2{

		isObjectProperty(Valve.isShutoffValve) = TRUE

		isInstalled(Valve, Pump.Outlet) = FALSE

	}



	Valve myValve3{

		isObjectProperty(Valve.isFloatControlValve) = TRUE

	}



	isDiverged(Pump, myPipe) = TRUE

	getObjectDistance(StraightPipeLine, myPipe) < getObjectDistance(StraightPipeLine, myValve)



	isInstalled(myValve2, myPipe) = TRUE

	isInstalled(myValve3, myPipe) = TRUE

} 














Modify
23
14907 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 6 항 2호

2. 유량측정장치는 성능시험배관의 직관부에 설치하되, 펌프의 정격토출량의 175% 이상 측정할 수 있는 성능이 있을 것





//  간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 6항 2호

Check(NFSC103A_8_6_2){

	KS

}

KS{

	Pipe myPipe{

		isObjectProperty(Pipe.isForTest) = TRUE

	}

	

	isConnectedTo(myPipe, DischargeMeasuringEquipment) = TRUE

	getObjectProperty(DischargeMeasuringEquipment.measurementCapacity) = DME

	getObjectProperty(Pump.ratedDischargePressure) = PDP



	PDP*1.75 <= DME

} 














Modify
24
14908 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 7 항

⑦가압송수장치의 체절운전 시 수온의 상승을 방지하기 위하여 체크밸브와 펌프사이에서 분기한 구경 20㎜ 이상의 배관에 체절압력 미만에서 개방되는 릴리프밸브를 설치하여야 한다.





// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 7항



Check(NFSC503A_8_7){

	KS

}

KS{

	Valve myValve1{

	isObjectProperty(Valve.isCheckValve) = TRUE

	}

	PP = isObjectProperty(Pump.shutoffPressure)

	Valve myValve2{

	isObjectProperty(Valve.isReliefValve) = TRUE

	isObjectProperty(Valve.reliefPressure) < PP

	}



	isInstalledInOrder(myValve1, Pipe, Pump) = TRUE

	isObjectProperty(Pipe.diameter) >= 20mm

	isInstalled(myValve2, Pipe) = TRUE

} 














Modify
25
14943 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 16 항 2호

2. 펌프 등의 가압송수장치를 이용하여 배관 및 밸브 등을 설치하는 경우에는 수원, 연성계 또는 진공계(수원이 펌프보다 높은 경우를 제외한다. 이하 같다), 펌프 또는 압력수조, 압력계, 체크밸브, 성능시험배관, 개폐표시형밸브, 유수검지장치, 시험밸브의 순으로 설치할 것 <개정 2011.11.24>





// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 2호



Check(NFSC503A_8_16_2){

	IF (!CS1 AND CS2) THEN KS

}

CS1{

	getObjectVerticalLocation(WaterSource, Pump) > 0

}

CS2{

	PressurizedWaterSupplySystem myPressurizedWaterSupplySystem{

	isObjectProperty(PressurizedWaterSupplySystem.supplyType) != "DirectCoupledType" OR "PressurizedTankType"

	}

	isInstalled(Pipe, myPressurizedWaterSupplySystem) = TRUE

	OR 	isInstalled(Valve, myPressurizedWaterSupplySystem) = TRUE

}

KS{

	Tank myTank{

	isObjectProperty(Tank.operationType) = "HydropneumaticTank"

	}

	Valve myValve1{

	isObjectProperty(Valve.isCheckValve) = TRUE

	}

	Valve myValve2{

	isObjectProperty(Valve.isIndicatingValve) = TRUE

	}

	Valve myValve3{

	isObjectProperty(Valve.isTestValve) = TRUE

	}

	Pipe myPipe{

	isObjectProperty(Pipe.isForTest) = TRUE

	}

	isInstalledInOrder(WaterSource,  CompoundGauge | VacuumGauge, Pump | myTank, PressureGauge, myValve1, myPipe, myValve2, WaterflowIndicator, myValve3) = TRUE

} 














Modify
26
14949 간이스프링클러설비의 화재안전기준(NFSC 103A) 제 8조 16 항 4호

4. 캐비닛형의 가압송수장치에 배관 및 밸브 등을 설치하는 경우에는 수원, 연성계 또는 진공계(수원이 펌프보다 높은 경우를 제외한다. 이하 같다), 펌프 또는 압력수조, 압력계, 체크밸브, 개폐표시형밸브, 2개의 시험밸브의 순으로 설치할 것. 다만, 소화용수의 공급은 상수도와 직결된 바이패스관 또는 펌프에서 공급받아야 한다. <신설 2011.11.24, 개정 2013.6.10>





// 간이스프링클러설비의 화재안전기준(nfsc 103a) 8조 (배관 및 밸브) 16항 4호



Check(NFSC503A_8_16_4){

	IF (!CS1 AND CS2) THEN KS

}

CS1{

	getObjectVerticalLocation(WaterSource, Pump) > 0

}

CS2{

	SimpleSprinklerSystem mySimpleSprinklerSystem{

	isObjectProperty(SimpleSprinklerSystem.isCabinetType) = TRUE

	}

	isInstalled(Pipe, mySimpleSprinklerSystem.PressurizedWaterSupplySystem) = TRUE

	OR 	isInstalled(Valve, mySimpleSprinklerSystem.PressurizedWaterSupplySystem) = TRUE

}

KS{

	Tank myTank{

	isObjectProperty(Tank.operationType) = "HydropneumaticTank"

	}

	Valve myValve1{

	isObjectProperty(Valve.isCheckValve) = TRUE

	}

	Valve myValve2{

	isObjectProperty(Valve.isIndicatingValve) = TRUE

	}

	Valve myValve3{

	isObjectProperty(Valve.isTestValve) = TRUE

	getObjectCount(Valve) = 2

	}



	isInstalledInOrder(WaterSource,  CompoundGauge | VacuumGauge, Pump | myTank, PressureGauge, myValve1, myPipe, myValve2, myValve3) = TRUE

} 














Modify
    1      
 
This is Design IT Lab server's restricted area. Authorized users could access this website.