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


KB Term:  Term intersection
English Word: 

  ExecutiveResidence

 Sigma KEE - ExecutiveResidence
ExecutiveResidence(executive residence)
court

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


(subclass ExecutiveResidence PermanentResidence) Government.kif 1509-1509 Executive residence is a subclass of permanent residence
(documentation ExecutiveResidence EnglishLanguage "A Residence of a chiefOfState, e.g. the White House, a state governor's mansion, Buckingham Palace, etc.") Government.kif 1510-1511 Executive residence is a subclass of permanent residence
(externalImage ExecutiveResidence "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ WH2FloorPlan.png") pictureList.kif 5994-5994 Executive residence is a subclass of permanent residence
(externalImage ExecutiveResidence "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ WHStateFloor.png") pictureList.kif 6496-6496 Executive residence is a subclass of permanent residence
(externalImage ExecutiveResidence "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9a/ WHground.png") pictureList.kif 6497-6497 Executive residence is a subclass of permanent residence

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


(termFormat EnglishLanguage ExecutiveResidence "executive residence") domainEnglishFormat.kif 22741-22741
(termFormat ChineseTraditionalLanguage ExecutiveResidence "行政住所") domainEnglishFormat.kif 22742-22742
(termFormat ChineseLanguage ExecutiveResidence "行政住所") domainEnglishFormat.kif 22743-22743

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


(=>
    (instance ?RESIDENCE ExecutiveResidence)
    (exists (?AREA ?POSITION ?PERSON)
        (and
            (located ?RESIDENCE ?AREA)
            (home ?PERSON ?RESIDENCE)
            (chiefOfState ?AREA ?POSITION ?PERSON))))		 Government.kif 1513-1519 If X is an instance of executive residence, then there exist Y, Z, W such that X is located at Y, the home of W is X, and Y chief of state Z for W


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners