Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Upstairs(upstairs from)
more pictures... |  | on_a_higher_floor, up_the_stairs, upstair, upstairs |
| appearance as argument number 1 |
|
|
| (instance Upstairs PositionalAttribute) | Mid-level-ontology.kif 21153-21153 | Upstairs from is an instance of positional attribute |
| (documentation Upstairs EnglishLanguage "A PositionalAttribute to indicate that one thing is one or more floors above a second thing in the same building.") | Mid-level-ontology.kif 21154-21155 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Cremona%2C_torrazzo_interno_02_scala_a_chiocciola.JPG") | pictureList.kif 6951-6951 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Endlose_Treppe_KPMG_Muenchen.JPG") | pictureList.kif 8188-8188 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ TulipStair_QueensHouse_Greenwich.jpg") | pictureList.kif 8190-8190 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/8/ 87/ Potemkinstairs.jpg") | pictureList.kif 8191-8191 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/a/ a2/ Melk53.jpg") | pictureList.kif 8192-8192 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Stairway_in_ford_plant_in_LA_from_HABS.jpg") | pictureList.kif 8193-8193 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Step_by_Step.jpg") | pictureList.kif 8194-8194 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Weissenhorn_Stadttheater_Treppenhaus.jpg") | pictureList.kif 8195-8195 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/f/ f0/ VaticanMuseumStaircase.jpg") | pictureList.kif 8196-8196 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/f/ f4/ White_metal_spiral_staircase.jpg") | pictureList.kif 8197-8197 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ Scala_Contarini_del_Bovolo.jpg") | pictureList.kif 8198-8198 | Upstairs from is an instance of positional attribute |
| (externalImage Upstairs "http://upload.wikimedia.org/wikipedia/en/1/1d/Thai_stairs.jpg") | pictureList.kif 8199-8199 | Upstairs from is an instance of positional attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (orientation ?OBJ1 ?OBJ2 Upstairs) (exists (?LEVEL1 ?LEVEL2 ?BUILDING) (and (instance ?LEVEL1 BuildingLevel) (instance ?LEVEL2 BuildingLevel) (instance ?BUILDING Building) (part ?LEVEL1 ?BUILDING) (part ?LEVEL2 ?BUILDING) (located ?OBJ1 ?LEVEL1) (located ?OBJ2 ?LEVEL2) (orientation ?LEVEL1 ?LEVEL2 Above)))) |
Mid-level-ontology.kif 21157-21168 | If X is upstairs from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of building level (3) W is an instance of building level (4) V is an instance of building (5) Z is a part of V (6) W is a part of V (7) X is located at Z (8) Y is located at W (9) Z is above to W |
|