| Wall(wall)
| | Hadrian's_Wall, Wailing_Wall, cavity_wall, parapet, wainscoting, wainscotting, wall |
| appearance as argument number 1 |
|
|
| (subclass Wall StationaryArtifact) | Mid-level-ontology.kif 16833-16833 | Wall is a subclass of stationary artifact |
| (documentation Wall EnglishLanguage "A StationaryArtifact that supports a Building or partitions it into Rooms.") | Mid-level-ontology.kif 16834-16835 | Wall is a subclass of stationary artifact |
| (externalImage Wall "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Skogskyrkogarden_CementeryWall1.jpg") | pictureList.kif 198-198 | Wall is a subclass of stationary artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?WALL Wall) (exists (?ARTIFACT) (and (part ?WALL ?ARTIFACT) (or (instance ?ARTIFACT Building) (instance ?ARTIFACT Room))))) |
Mid-level-ontology.kif 16837-16844 | If X is an instance of wall, then there exists Y such that X is a part of Y and Y is an instance of building or Y is an instance of room |
| consequent |
|
|
| (=> (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 2518-2527 | If X is an instance of shower, then there exist Y, Z such that Y is an instance of wall or Y is an instance of ceiling, X is connected to Y, Z is an instance of floor, and X is above to Z |
| (=> (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 3591-3601 | If X is an instance of wallpaper, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of wall (3) Y is a part of Z (4) Z is an instance of room (5) W is an instance of covering (6) Y is a patient of W (7) X is an instrument for W |
| (=> (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 16762-16773 | If adjoining room is an attribute of X, then All of the following hold: (1) there exist Y, Z (2) W such that adjoining room is an attribute of Y (3) equal Y (4) X (5) X is adjacent to Y (6) Z is an instance of wall (7) Z is a part of Y (8) Z is a part of X (9) W is an instance of door (10) W is a part of Z |
| (=> (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 29149-29160 | If X is an instance of grab bar, then there exists Y such that Y is an instance of wall and X is connected to Y and X has the purpose there exists Z such that Z is an instance of grabbing and X is an instrument for Z |
| (=> (instance ?X Solarium) (exists (?WALL) (and (instance ?WALL Wall) (part ?WALL ?X) (attribute ?WALL Transparent)))) |
Mid-level-ontology.kif 29418-29424 | If X is an instance of solarium, then there exists Y such that Y is an instance of wall, Y is a part of X, and transparent is an attribute of Y |
|
|
|