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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ExecutiveResidence
ExecutiveResidence(executive residence)
court

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


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

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


(termFormat ChineseLanguage ExecutiveResidence "行政住所") domainEnglishFormat.kif 22756-22756
(termFormat ChineseTraditionalLanguage ExecutiveResidence "行政住所") domainEnglishFormat.kif 22755-22755
(termFormat EnglishLanguage ExecutiveResidence "executive residence") domainEnglishFormat.kif 22754-22754

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


(=>
    (instance ?RESIDENCE ExecutiveResidence)
    (exists (?AREA ?POSITION ?PERSON)
        (and
            (located ?RESIDENCE ?AREA)
            (home ?PERSON ?RESIDENCE)
            (chiefOfState ?AREA ?POSITION ?PERSON))))
Government.kif 1504-1510


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