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
법규 문장 내.외 관계논리 체계화 - 법규조항간 문장 관계

1154  건축물의 설비기준 등에 관한 규칙6조   승강기의 구조            KBimCode 내보내기

상위 법규문장 ID 3902   최상위 법규조항 ID 15287  
제6조(승강기의 구조) 법 제64조에 따라 건축물에 설치하는 승강기·에스컬레이터 및 비상용승강기의 구조는 「승강기시설 안전관리법」이 정하는 바에 따른다. <개정 2006.2.13., 2008.7.10., 2010.11.5.>

//건축물의 설비기준 등에 관한 규칙 6조 (승강기의 구조)

Check(RFB_6){

     IF CS THEN KS
}
CS{     
     Elevator myElevator{
     isObjectProperty(Elevator.isEmergency) = TRUE
     }

     isInstalled(Elevator) = TRUE
     OR isInstalled(Escalator) = TRUE
     OR isInstalled(myElevator) = TRUE
}

KS{
getResult(Unimplemented_EFSMA) = TRUE
}
      관계유형  
    L 광법위한 하위법규의 검토결과에 따라 상위법규의 검토결과가 정해지는 관계 15670  승강기시설 안전관리법  조        

""

//건축물의 설비기준 등에 관한 규칙 6조 (승강기의 구조)

Check(RFB_6){

     IF CS THEN KS
}
CS{     
     Elevator myElevator{
     isObjectProperty(Elevator.isEmergency) = TRUE
     }

     isInstalled(Elevator) = TRUE
     OR isInstalled(Escalator) = TRUE
     OR isInstalled(myElevator) = TRUE
}

KS{
getResult(Unimplemented_EFSMA) = TRUE
}

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