Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Wall
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Wall StationaryArtifact) | Mid-level-ontology.kif 16907-16907 | 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 16908-16909 | 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 16911-16918 | 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 2636-2645 | 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 3738-3748 | 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 16812-16823 | 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 29080-29091 | 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 29349-29355 | 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 |
|
