Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| 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 |
|