Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| diplomaticRepresentationType |
| appearance as argument number 1 |
|
| (instance diplomaticRepresentationType TernaryPredicate) | Government.kif 4513-4513 | diplomatic representation type is an instance of ternary predicate |
| (domain diplomaticRepresentationType 1 AutonomousAgent) | Government.kif 4514-4514 | The number 1 argument of diplomatic representation type is an instance of agent |
| (domain diplomaticRepresentationType 2 Position) | Government.kif 4515-4515 | The number 2 argument of diplomatic representation type is an instance of position |
| (domain diplomaticRepresentationType 3 AutonomousAgent) | Government.kif 4516-4516 | The number 3 argument of diplomatic representation type is an instance of agent |
| (documentation diplomaticRepresentationType EnglishLanguage "(diplomaticRepresentationType ?AGENT1 ?RANK ?AGENT2) means that the AutonomousAgent ?AGENT1 sends a representative with the Position ?RANK to the AutonomousAgent ?AGENT2.") | Government.kif 4518-4521 | The number 3 argument of diplomatic representation type is an instance of agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage diplomaticRepresentationType "%1 %n{doesn't} diplomatic representation type %2 for %3") | domainEnglishFormat.kif 746-746 | |
| (format ChineseTraditionalLanguage diplomaticRepresentationType "% %n %1 %3 ") | domainEnglishFormat.kif 747-747 | |
| (termFormat EnglishLanguage diplomaticRepresentationType "diplomatic representation type") | domainEnglishFormat.kif 19626-19626 | |
| (termFormat ChineseTraditionalLanguage diplomaticRepresentationType "外交代表類型") | domainEnglishFormat.kif 19627-19627 | |
| (termFormat ChineseLanguage diplomaticRepresentationType "外交代表类型") | domainEnglishFormat.kif 19628-19628 |
| antecedent |
|
|
| (=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4527-4532 | If X diplomatic representation type Y for Z, Z is a geopolitical part of W, and W is an instance of nation, then X diplomatic representation type Y for W |
| (=> (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (diplomaticRelations ?COUNTRY1 ?COUNTRY2)) |
Government.kif 4545-4547 | If X diplomatic representation type Y for Z, then Z is a diplomatic relations of X |
| (=> (and (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (subAttribute ?ROLE DiplomaticAgent)) (exists (?PERSON) (and (instance ?PERSON Human) (citizen ?PERSON ?COUNTRY1) (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)))) |
Government.kif 4574-4582 | If X diplomatic representation type Y for Z and Y is a subattribute of diplomatic agent, then there exists W such that W is an instance of human, W is a citizen of X, and X is diplomatic representative in role W for Y with Z |
| (=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4667-4672 | If X diplomatic representation type consul general for Y, Z is an instance of city, and equal Y and the government of Z, then X is diplomatic organization type consulate general for Y |
| (=> (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 |
|
|
| (=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)) |
Government.kif 4523-4525 | If X is diplomatic representative in role Y for Z with W, then X diplomatic representation type Z for W |
| (=> (and (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3)) |
Government.kif 4527-4532 | If X diplomatic representation type Y for Z, Z is a geopolitical part of W, and W is an instance of nation, then X diplomatic representation type Y for W |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4549-4555 | If X is a diplomatic relations of Y, then there exists Z such that Z is an instance of foreign service position, Z is a subattribute of diplomatic agent, and Y diplomatic representation type Z for X |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4557-4563 | If X is a diplomatic relations of Y, then there exists Z such that Z is an instance of foreign service position, Z is a subattribute of diplomatic agent, and X diplomatic representation type Z for Y |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE1 ?ROLE2) (and (instance ?ROLE1 Position) (instance ?ROLE2 Position) (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2) (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1)))) |
Government.kif 4565-4572 | If X is a diplomatic relations of Y, then there exist Z, W such that Z is an instance of position, W is an instance of position, Y diplomatic representation type Z for X, and X diplomatic representation type W for Y |
| (=> (and (instance ?SENDER Nation) (instance ?RECEIVER Nation) (instance ?PERSON Human) (attribute ?PERSON ?ROLE) (subAttribute ?ROLE DiplomaticAgent) (representativeAgentToAgent ?SENDER ?PERSON ?RECEIVER)) (diplomaticRepresentationType ?SENDER ?ROLE ?RECEIVER)) |
Government.kif 4613-4621 | If All of the following hold: (1) X is an instance of nation (2) Y is an instance of nation (3) Z is an instance of human (4) W is an attribute of Z (5) W is a subattribute of diplomatic agent (6) X is representative agent to agent Z for Y, then X diplomatic representation type W for Y |
| (=> (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2) (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)) |
Government.kif 4636-4638 | If X is diplomatic organization type consulate general for Y, then X diplomatic representation type consul general for Y |
| (=> (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 |
|