| Wall
| |
| appearance as argument number 1 |
|
|
| (documentation Wall EnglishLanguage "A StationaryArtifact that supports a Building or partitions it into Rooms.") | Mid-level-ontology.kif 15527-15528 | |
| (externalImage Wall "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Skogskyrkogarden_CementeryWall1.jpg") | pictureList.kif 198-198 | |
| (subclass Wall StationaryArtifact) | Mid-level-ontology.kif 15526-15526 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Wall "壁") | domainEnglishFormat.kif 62128-62128 | |
| (termFormat ChineseTraditionalLanguage Wall "壁") | domainEnglishFormat.kif 62127-62127 | |
| (termFormat EnglishLanguage Wall "wall") | domainEnglishFormat.kif 62126-62126 |
| antecedent |
|
|
| (=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 15530-15537 |
| 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 15455-15466 | |
| (=> (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 26746-26757 | |
| (=> (instance ?X Solarium) (exists (?WALL) (and (instance ?WALL Wall) (part ?WALL ?X) (attribute ?WALL Transparent)))) |
Mid-level-ontology.kif 27019-27025 |
|
|
|