Upstairs(upstairs)![]() ![]() | ![]() | on_a_higher_floor, up_the_stairs, upstair, upstairs |
appearance as argument number 1 |
![]() |
(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 20306-20307 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Cremona%2C_torrazzo_interno_02_scala_a_chiocciola.JPG") | pictureList.kif 6951-6951 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Endlose_Treppe_KPMG_Muenchen.JPG") | pictureList.kif 8188-8188 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ TulipStair_QueensHouse_Greenwich.jpg") | pictureList.kif 8190-8190 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/8/ 87/ Potemkinstairs.jpg") | pictureList.kif 8191-8191 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/a/ a2/ Melk53.jpg") | pictureList.kif 8192-8192 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Stairway_in_ford_plant_in_LA_from_HABS.jpg") | pictureList.kif 8193-8193 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Step_by_Step.jpg") | pictureList.kif 8194-8194 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Weissenhorn_Stadttheater_Treppenhaus.jpg") | pictureList.kif 8195-8195 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/f/ f0/ VaticanMuseumStaircase.jpg") | pictureList.kif 8196-8196 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/f/ f4/ White_metal_spiral_staircase.jpg") | pictureList.kif 8197-8197 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ Scala_Contarini_del_Bovolo.jpg") | pictureList.kif 8198-8198 | |
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/en/1/1d/Thai_stairs.jpg") | pictureList.kif 8199-8199 | |
(instance Upstairs PositionalAttribute) | Mid-level-ontology.kif 20305-20305 | Upstairs is an instance of positional attribute |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Upstairs "楼上") | domainEnglishFormat.kif 60679-60679 | |
(termFormat ChineseTraditionalLanguage Upstairs "樓上") | domainEnglishFormat.kif 60678-60678 | |
(termFormat EnglishLanguage Upstairs "upstairs") | domainEnglishFormat.kif 60677-60677 | |
(termFormat tg Upstairs "sa itaas ng hagdan") | terms-tg.txt 540-540 |
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 20309-20320 |
|
![]() |
![]() |