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