Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Ambassador(ambassador) |  | ambassador, ambassadorship, embassador |
| appearance as argument number 1 |
|
|
| (instance Ambassador ForeignServicePosition) | Government.kif 4404-4404 | Ambassador is an instance of foreign service position |
| (subAttribute Ambassador DiplomaticAgent) | Government.kif 4405-4405 | Ambassador is a subattribute of diplomatic agent |
| (documentation Ambassador EnglishLanguage "Ambassador is the Attribute of the most highly_ranked foreign service representatives from the government of one country to another.") | Government.kif 4407-4409 | Ambassador is a subattribute of diplomatic agent |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4675-4677 | If X is diplomatic representative in role Y for ambassador with Z, then X is diplomatic organization type embassy for Z |
| (=> (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4679-4681 | If X diplomatic representation type ambassador for Y, then X is diplomatic organization type embassy for Y |
| consequent |
|
|
| (=> (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2) (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)) |
Government.kif 4684-4686 | If X is diplomatic organization type embassy for Y, then X diplomatic representation type ambassador for Y |
|