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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Downstairs
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 17070-17071
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Cremona%2C_torrazzo_interno_02_scala_a_chiocciola.JPG") pictureList.kif 5966-5966
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ 4/ 40/ Endlose_Treppe_KPMG_Muenchen.JPG") pictureList.kif 6385-6385
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ TulipStair_QueensHouse_Greenwich.jpg") pictureList.kif 6387-6387
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ 8/ 87/ Potemkinstairs.jpg") pictureList.kif 6388-6388
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ a/ a2/ Melk53.jpg") pictureList.kif 6389-6389
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Stairway_in_ford_plant_in_LA_from_HABS.jpg") pictureList.kif 6390-6390
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Step_by_Step.jpg") pictureList.kif 6391-6391
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ d/ d3/ Kaiserstiege%2C_Residenz_M%C3%BCnchen.jpg") pictureList.kif 6392-6392
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ d/ d6/ Weissenhorn_Stadttheater_Treppenhaus.jpg") pictureList.kif 6393-6393
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ f/ f0/ VaticanMuseumStaircase.jpg") pictureList.kif 6394-6394
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ White_metal_spiral_staircase.jpg") pictureList.kif 6395-6395
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ f/ f7/ Scala_Contarini_del_Bovolo.jpg") pictureList.kif 6396-6396
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Milan_stairway.jpg") pictureList.kif 6397-6397
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/en/1/1d/ Thai-stairs.jpg") pictureList.kif 6398-6398
(externalImage Downstairs "http://upload.wikimedia.org/wikipedia/en/8/8a/ Steps-ankor.jpg") pictureList.kif 6399-6399
(instance Downstairs PositionalAttribute) Mid-level-ontology.kif 17069-17069 Downstairs is an instance of positional attribute

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


(termFormat ChineseLanguage Downstairs "楼下") domainEnglishFormat.kif 20185-20185
(termFormat ChineseTraditionalLanguage Downstairs "樓下") domainEnglishFormat.kif 20184-20184
(termFormat EnglishLanguage Downstairs "downstairs") domainEnglishFormat.kif 20183-20183

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 17073-17084


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners