Wall(wall) | Hadrian's_Wall, Wailing_Wall, cavity_wall, parapet, wainscoting, wainscotting, wall |
appearance as argument number 1 |
(documentation Wall EnglishLanguage "A StationaryArtifact that supports a Building or partitions it into Rooms.") | Mid-level-ontology.kif 15308-15309 | |
(externalImage Wall "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Skogskyrkogarden_CementeryWall1.jpg") | pictureList.kif 198-198 | |
(subclass Wall StationaryArtifact) | Mid-level-ontology.kif 15307-15307 | Wall is a subclass of stationary artifact |
appearance as argument number 2 |
(termFormat ChineseLanguage Wall "壁") | domainEnglishFormat.kif 62103-62103 | |
(termFormat ChineseTraditionalLanguage Wall "壁") | domainEnglishFormat.kif 62102-62102 | |
(termFormat EnglishLanguage Wall "wall") | domainEnglishFormat.kif 62101-62101 |
antecedent |
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 15311-15318 |
|
consequent |