| appearance as argument number 1 |
|
| (documentation diplomaticOrganizationType EnglishLanguage "(diplomaticOrganizationType ?AGENT1 ?ORG ?AGENT2) means that the AutonomousAgent ?AGENT1 has a diplomatic organization of the type ?ORG in AutonomousAgent ?AGENT2. For example, (diplomaticOrganizationType UnitedStates Embassy France), or (diplomaticOrganizationType UnitedStates ConsulateGeneral ShanghaiChina).") | Government.kif 4597-4603 | |
| (domain diplomaticOrganizationType 1 AutonomousAgent) | Government.kif 4593-4593 | |
| (domain diplomaticOrganizationType 3 AutonomousAgent) | Government.kif 4595-4595 | |
| (domainSubclass diplomaticOrganizationType 2 Organization) | Government.kif 4594-4594 | |
| (instance diplomaticOrganizationType TernaryPredicate) | Government.kif 4592-4592 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage diplomaticOrganizationType "%1 %p{是} %n{不是} 对于 %3 的 diplomatic 类别") | domainEnglishFormat.kif 740-740 | |
| (format ChineseTraditionalLanguage diplomaticOrganizationType "%1 %p{是} %n{不是} 對於 %3 的 diplomatic 類別") | domainEnglishFormat.kif 739-739 | |
| (format EnglishLanguage diplomaticOrganizationType "%1 %p{is} %n{isn't} diplomatic organization type %2 for %3") | domainEnglishFormat.kif 738-738 | |
| (termFormat ChineseLanguage diplomaticOrganizationType "外交组织类型") | domainEnglishFormat.kif 19623-19623 | |
| (termFormat ChineseTraditionalLanguage diplomaticOrganizationType "外交組織類型") | domainEnglishFormat.kif 19622-19622 | |
| (termFormat EnglishLanguage diplomaticOrganizationType "diplomatic organization type") | domainEnglishFormat.kif 19621-19621 |
| antecedent |
|
|
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4629-4634 | |
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (instance ?AGENT1 Nation) (instance ?AGENT2 GeopoliticalArea)) (exists (?ORG) (and (instance ?ORG ?TYPE) (located ?ORG ?AGENT2) (subOrganization ?ORG (GovernmentFn ?AGENT1))))) |
Government.kif 4609-4618 | |
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (instance ?AGENT1 Organization) (instance ?AGENT2 GeopoliticalArea)) (exists (?ORG) (and (instance ?ORG ?TYPE) (located ?ORG ?AGENT2) (subOrganization ?ORG ?AGENT1)))) |
Government.kif 4619-4628 | |
| (=> (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2) (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)) |
Government.kif 4605-4607 | |
| (=> (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2) (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)) |
Government.kif 4653-4655 |
| consequent |
|
|
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4629-4634 | |
| (=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4636-4641 | |
| (=> (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4648-4650 | |
| (=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4644-4646 |
|
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