Doorway(doorway) | door, doorway, room_access, threshold |
appearance as argument number 1 |
(documentation Doorway EnglishLanguage "A StationaryArtifact consisting of a frame that holds a Door.") | Mid-level-ontology.kif 15505-15506 | |
(externalImage Doorway "http://upload.wikimedia.org/wikipedia/en/b/b4/Panel_door.jpg") | pictureList.kif 1730-1730 | |
(subclass Doorway StationaryArtifact) | Mid-level-ontology.kif 15504-15504 | Doorway is a subclass of stationary artifact |
appearance as argument number 2 |
(termFormat ChineseLanguage Doorway "门口") | domainEnglishFormat.kif 20212-20212 | |
(termFormat ChineseTraditionalLanguage Doorway "門口") | domainEnglishFormat.kif 20211-20211 | |
(termFormat EnglishLanguage Doorway "doorway") | domainEnglishFormat.kif 20210-20210 |
antecedent |
(=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 15508-15515 |
|
consequent |
(=> (instance ?DOOR Door) (exists (?WAY) (and (part ?DOOR ?WAY) (instance ?WAY Doorway)))) |
Mid-level-ontology.kif 15483-15488 |
|