| 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 4513-4515 | |
| (domain diplomaticRelations 1 GeopoliticalArea) | Government.kif 4510-4510 | |
| (domain diplomaticRelations 2 GeopoliticalArea) | Government.kif 4511-4511 | |
| (instance diplomaticRelations BinaryPredicate) | Government.kif 4506-4506 | |
| (instance diplomaticRelations IrreflexiveRelation) | Government.kif 4508-4508 | |
| (instance diplomaticRelations PartialValuedRelation) | Government.kif 4509-4509 | |
| (instance diplomaticRelations SymmetricRelation) | Government.kif 4507-4507 |
| 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 19631-19631 | |
| (termFormat ChineseTraditionalLanguage diplomaticRelations "外交關係") | domainEnglishFormat.kif 19630-19630 | |
| (termFormat EnglishLanguage diplomaticRelations "diplomatic relations") | domainEnglishFormat.kif 19629-19629 |
| antecedent |
|
|
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)))) |
Government.kif 4521-4527 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1)))) |
Government.kif 4529-4535 | |
| (=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE1 ?ROLE2) (and (instance ?ROLE1 Position) (instance ?ROLE2 Position) (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2) (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1)))) |
Government.kif 4537-4544 |
| consequent |
|
|
| (=> (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2) (diplomaticRelations ?COUNTRY1 ?COUNTRY2)) |
Government.kif 4517-4519 |
|
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