|
|
   ExecutiveResidence
|
|
|
| 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 1503-1504 | |
| (externalImage ExecutiveResidence "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4e/ WH2FloorPlan.png") | pictureList.kif 5995-5995 | |
| (externalImage ExecutiveResidence "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ WHStateFloor.png") | pictureList.kif 6497-6497 | |
| (externalImage ExecutiveResidence "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9a/ WHground.png") | pictureList.kif 6498-6498 | |
| (subclass ExecutiveResidence PermanentResidence) | Government.kif 1502-1502 | Executive residence is a subclass of permanent residence |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ExecutiveResidence "行政住所") | domainEnglishFormat.kif 22744-22744 | |
| (termFormat ChineseTraditionalLanguage ExecutiveResidence "行政住所") | domainEnglishFormat.kif 22743-22743 | |
| (termFormat EnglishLanguage ExecutiveResidence "executive residence") | domainEnglishFormat.kif 22742-22742 |
| antecedent |
|
|
| (=> (instance ?RESIDENCE ExecutiveResidence) (exists (?AREA ?POSITION ?PERSON) (and (located ?RESIDENCE ?AREA) (home ?PERSON ?RESIDENCE) (chiefOfState ?AREA ?POSITION ?PERSON)))) |
Government.kif 1506-1512 |
|
|
|
|
