| Doorway(门口)
| |
| appearance as argument number 1 |
|
|
| (documentation Doorway EnglishLanguage "A StationaryArtifact consisting of a frame that holds a Door.") | Mid-level-ontology.kif 14806-14807 | |
| (externalImage Doorway "http://upload.wikimedia.org/wikipedia/en/b/b4/Panel_door.jpg") | pictureList.kif 1731-1731 | |
| (subclass Doorway StationaryArtifact) | Mid-level-ontology.kif 14805-14805 | 门口 是 固定人工制品 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Doorway "门口") | domainEnglishFormat.kif 20187-20187 | |
| (termFormat ChineseTraditionalLanguage Doorway "門口") | domainEnglishFormat.kif 20186-20186 | |
| (termFormat EnglishLanguage Doorway "doorway") | domainEnglishFormat.kif 20185-20185 |
| antecedent |
|
|
| (=> (instance ?WAY Doorway) (exists (?ARTIFACT) (and (part ?WAY ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 14809-14816 |
| consequent |
|
|
| (=> (instance ?DOOR Door) (exists (?WAY) (and (part ?DOOR ?WAY) (instance ?WAY Doorway)))) |
Mid-level-ontology.kif 14784-14789 |
|
|
|