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 15336-15337 | |
(externalImage Wall "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Skogskyrkogarden_CementeryWall1.jpg") | pictureList.kif 198-198 | |
(subclass Wall StationaryArtifact) | Mid-level-ontology.kif 15335-15335 | Wall is a subclass of stationary artifact |
appearance as argument number 2 |
(termFormat ChineseLanguage Wall "壁") | domainEnglishFormat.kif 62105-62105 | |
(termFormat ChineseTraditionalLanguage Wall "壁") | domainEnglishFormat.kif 62104-62104 | |
(termFormat EnglishLanguage Wall "wall") | domainEnglishFormat.kif 62103-62103 |
antecedent |
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 15339-15346 |
|
consequent |