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

KB Term:  Term intersection
English Word: 

Sigma KEE - Basement
Basement(basement)
basement, cellar

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


(subclass Basement BuildingLevel) Mid-level-ontology.kif 17005-17005 Basement is a subclass of building level
(documentation Basement EnglishLanguage "A BuildingLevel which satisfies two conditions, viz. it is lower than all of the other BuildingLevels in the same Building and it is below ground level.") Mid-level-ontology.kif 17006-17008 Basement is a subclass of building level
(externalImage Basement "http://upload.wikimedia.org/wikipedia/commons/5/ 5f/ Stasi_Basement.jpg") pictureList.kif 4536-4536 Basement is a subclass of building level

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


(termFormat EnglishLanguage Basement "basement") domainEnglishFormat.kif 10096-10096
(termFormat ChineseTraditionalLanguage Basement "地下室") domainEnglishFormat.kif 10097-10097
(termFormat ChineseLanguage Basement "地下室") domainEnglishFormat.kif 10098-10098

antecedent
-------------------------


(=>
    (instance ?BASEMENT Basement)
    (not
        (exists (?LEVEL ?BUILDING)
            (and
                (instance ?LEVEL BuildingLevel)
                (instance ?BUILDING Building)
                (part ?LEVEL ?BUILDING)
                (part ?BASEMENT ?BUILDING)
                (not
                    (equal ?LEVEL ?BASEMENT))
                (orientation ?LEVEL ?BASEMENT Below)))))		 Mid-level-ontology.kif 17010-17019 If X is an instance of basement, then All of the following hold: (1) there don't exist Y (2) Z such that Y is an instance of building level (3) Z is an instance of building (4) Y is a part of Z (5) X is a part of Z (6) equal Y (7) X (8) Y is below to X


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