| 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 |
| 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 |
|
|
| (=> (attribute ?X AdjoiningRoom) (exists (?ROOM ?WALL ?DOOR) (and (attribute ?ROOM AdjoiningRoom) (not (equal ?ROOM ?X)) (orientation ?X ?ROOM Adjacent) (instance ?WALL Wall) (part ?WALL ?ROOM) (part ?WALL ?X) (instance ?DOOR Door) (part ?DOOR ?WALL)))) |
Mid-level-ontology.kif 15264-15275 | |
| (=> (instance ?P Wallpaper) (hasPurpose ?P (exists (?W ?R ?C) (and (instance ?W Wall) (part ?W ?R) (instance ?R Room) (instance ?C Covering) (patient ?C ?W) (instrument ?C ?P))))) |
Mid-level-ontology.kif 3124-3134 | |
| (=> (instance ?SHOWER Shower) (exists (?X ?FLOOR) (and (or (instance ?X Wall) (instance ?X Ceiling)) (connected ?SHOWER ?X) (instance ?FLOOR Floor) (orientation ?SHOWER ?FLOOR Above)))) |
Mid-level-ontology.kif 2030-2039 | |
| (=> (instance ?X GrabBar) (and (exists (?WALL) (and (instance ?WALL Wall) (connected ?X ?WALL))) (hasPurpose ?X (exists (?GRAB) (and (instance ?GRAB Grabbing) (instrument ?GRAB ?X)))))) |
Mid-level-ontology.kif 26515-26526 | |
| (=> (instance ?X Solarium) (exists (?WALL) (and (instance ?WALL Wall) (part ?WALL ?X) (attribute ?WALL Transparent)))) |
Mid-level-ontology.kif 26788-26794 |
|
|
|