Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Downstairs
Downstairs(downstairs from)
more pictures...		below, down_the_stairs, downstairs, on_a_lower_floor

appearance as argument number 1
-------------------------


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

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


(termFormat EnglishLanguage Downstairs "downstairs from") domainEnglishFormat.kif 20262-20262
(termFormat ChineseTraditionalLanguage Downstairs "樓下") domainEnglishFormat.kif 20263-20263
(termFormat ChineseLanguage Downstairs "楼下") domainEnglishFormat.kif 20264-20264

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 21174-21185 If X is downstairs 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 below to W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners