| appearance as argument number 1 |
|
| (documentation diplomaticRelations EnglishLanguage "(diplomaticRelations ?COUNTRY1 ?COUNTRY2) means that there are official diplomatic relations between the two Nations ?COUNTRY1 and ?COUNTRY2.") | Government.kif 4510-4512 | |
| (domain diplomaticRelations 1 GeopoliticalArea) | Government.kif 4507-4507 | |
| (domain diplomaticRelations 2 GeopoliticalArea) | Government.kif 4508-4508 | |
| (instance diplomaticRelations BinaryPredicate) | Government.kif 4503-4503 | |
| (instance diplomaticRelations IrreflexiveRelation) | Government.kif 4505-4505 | |
| (instance diplomaticRelations PartialValuedRelation) | Government.kif 4506-4506 | |
| (instance diplomaticRelations SymmetricRelation) | Government.kif 4504-4504 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage diplomaticRelations "%2 %n 是 %1 的外交关西") | domainEnglishFormat.kif 744-744 | |
| (format ChineseTraditionalLanguage diplomaticRelations "%2 %n 是 %1 的外交關西") | domainEnglishFormat.kif 743-743 | |
| (format EnglishLanguage diplomaticRelations "%2 is %n a diplomatic relations of %1") | domainEnglishFormat.kif 742-742 | |
| (termFormat ChineseLanguage diplomaticRelations "外交关系") | domainEnglishFormat.kif 19635-19635 | |
| (termFormat ChineseTraditionalLanguage diplomaticRelations "外交關係") | domainEnglishFormat.kif 19634-19634 | |
| (termFormat EnglishLanguage diplomaticRelations "diplomatic relations") | domainEnglishFormat.kif 19633-19633 |
| antecedent |
|
|
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4518-4524 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4526-4532 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE1 ?ROLE2) (and (instance ?ROLE1 Position) (instance ?ROLE2 Position) (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2) (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1)))) |
Government.kif 4534-4541 |
| consequent |
|
|
| (=> (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (diplomaticRelations ?COUNTRY1 ?COUNTRY2)) |
Government.kif 4514-4516 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners