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 16682-16683 | |
(externalImage Wall "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Skogskyrkogarden_CementeryWall1.jpg") | pictureList.kif 198-198 | |
(subclass Wall StationaryArtifact) | Mid-level-ontology.kif 16681-16681 | Wall is a subclass of stationary artifact |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Wall "壁") | domainEnglishFormat.kif 62097-62097 | |
(termFormat ChineseTraditionalLanguage Wall "壁") | domainEnglishFormat.kif 62096-62096 | |
(termFormat EnglishLanguage Wall "wall") | domainEnglishFormat.kif 62095-62095 |
antecedent |
![]() |
(=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16685-16692 |
|
consequent |
![]() |
![]() |
![]() |