more pictures...
| Downstairs(downstairs)
more pictures... | | below, down_the_stairs, downstairs, on_a_lower_floor |
| appearance as argument number 1 |
|
|
| (documentation Downstairs EnglishLanguage "A PositionalAttribute to indicate that one thing is one or more floors below a second thing in the same building.") | Mid-level-ontology.kif 20323-20324 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Cremona%2C_torrazzo_interno_02_scala_a_chiocciola.JPG") | pictureList.kif 5964-5964 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Endlose_Treppe_KPMG_Muenchen.JPG") | pictureList.kif 6383-6383 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ TulipStair_QueensHouse_Greenwich.jpg") | pictureList.kif 6385-6385 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ 8/ 87/ Potemkinstairs.jpg") | pictureList.kif 6386-6386 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Melk53.jpg") | pictureList.kif 6387-6387 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Stairway_in_ford_plant_in_LA_from_HABS.jpg") | pictureList.kif 6388-6388 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Step_by_Step.jpg") | pictureList.kif 6389-6389 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Kaiserstiege%2C_Residenz_M%C3%BCnchen.jpg") | pictureList.kif 6390-6390 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ d/ d6/ Weissenhorn_Stadttheater_Treppenhaus.jpg") | pictureList.kif 6391-6391 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ f/ f0/ VaticanMuseumStaircase.jpg") | pictureList.kif 6392-6392 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ White_metal_spiral_staircase.jpg") | pictureList.kif 6393-6393 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Scala_Contarini_del_Bovolo.jpg") | pictureList.kif 6394-6394 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Milan_stairway.jpg") | pictureList.kif 6395-6395 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/en/1/1d/ Thai_stairs.jpg") | pictureList.kif 6396-6396 | |
| (externalImage Downstairs "http://upload.wikimedia.org/wikipedia/en/8/8a/ Steps_ankor.jpg") | pictureList.kif 6397-6397 | |
| (instance Downstairs PositionalAttribute) | Mid-level-ontology.kif 20322-20322 | Downstairs is an instance of positional attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Downstairs "楼下") | domainEnglishFormat.kif 20277-20277 | |
| (termFormat ChineseTraditionalLanguage Downstairs "樓下") | domainEnglishFormat.kif 20276-20276 | |
| (termFormat EnglishLanguage Downstairs "downstairs") | domainEnglishFormat.kif 20275-20275 | |
| (termFormat tg Downstairs "sa ibaba ng hagdan") | terms-tg.txt 541-541 |
| antecedent |
|
|
| (=> (orientation ?OBJ1 ?OBJ2 Downstairs) (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 Below)))) |
Mid-level-ontology.kif 20326-20337 |
|
|
|
|