Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Upstairs
Upstairs(upstairs)
more pictures...
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 18998-18999
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/1/ 17/ Cremona%2C_torrazzo_interno_02_scala_a_chiocciola.JPG") pictureList.kif 6953-6953
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Endlose_Treppe_KPMG_Muenchen.JPG") pictureList.kif 8190-8190
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/6/ 6e/ TulipStair_QueensHouse_Greenwich.jpg") pictureList.kif 8192-8192
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/8/ 87/ Potemkinstairs.jpg") pictureList.kif 8193-8193
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/a/ a2/ Melk53.jpg") pictureList.kif 8194-8194
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/b/ b2/ Stairway_in_ford_plant_in_LA_from_HABS.jpg") pictureList.kif 8195-8195
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/b/ ba/ Step_by_Step.jpg") pictureList.kif 8196-8196
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/d/ d6/ Weissenhorn_Stadttheater_Treppenhaus.jpg") pictureList.kif 8197-8197
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/f/ f0/ VaticanMuseumStaircase.jpg") pictureList.kif 8198-8198
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/f/ f4/ White_metal_spiral_staircase.jpg") pictureList.kif 8199-8199
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ Scala_Contarini_del_Bovolo.jpg") pictureList.kif 8200-8200
(externalImage Upstairs "http://upload.wikimedia.org/wikipedia/en/1/1d/Thai-stairs.jpg") pictureList.kif 8201-8201
(instance Upstairs PositionalAttribute) Mid-level-ontology.kif 18997-18997 Upstairs is an instance of positional attribute

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Upstairs "楼上") domainEnglishFormat.kif 60630-60630
(termFormat ChineseTraditionalLanguage Upstairs "樓上") domainEnglishFormat.kif 60629-60629
(termFormat EnglishLanguage Upstairs "upstairs") domainEnglishFormat.kif 60628-60628

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 19001-19012


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners