| appearance as argument number 1 |
|
| (documentation diplomaticOrganizationType EnglishLanguage "(diplomaticOrganizationType ?AGENT1 ?ORG ?AGENT2) means that the Agent ?AGENT1 has a diplomatic organization of the type ?ORG in Agent ?AGENT2. For example, (diplomaticOrganizationType UnitedStates Embassy France), or (diplomaticOrganizationType UnitedStates ConsulateGeneral ShanghaiChina).") | Government.kif 4616-4622 | |
| (domain diplomaticOrganizationType 1 Agent) | Government.kif 4612-4612 | |
| (domain diplomaticOrganizationType 3 Agent) | Government.kif 4614-4614 | |
| (domainSubclass diplomaticOrganizationType 2 Organization) | Government.kif 4613-4613 | |
| (instance diplomaticOrganizationType TernaryPredicate) | Government.kif 4611-4611 |
| 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 19605-19605 | |
| (termFormat ChineseTraditionalLanguage diplomaticOrganizationType "外交組織類型") | domainEnglishFormat.kif 19604-19604 | |
| (termFormat EnglishLanguage diplomaticOrganizationType "diplomatic organization type") | domainEnglishFormat.kif 19603-19603 |
| antecedent |
|
|
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4648-4653 | |
| (=> (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 4628-4637 | |
| (=> (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 4638-4647 | |
| (=> (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2) (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)) |
Government.kif 4624-4626 | |
| (=> (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2) (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)) |
Government.kif 4672-4674 |
| consequent |
|
|
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4648-4653 | |
| (=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4655-4660 | |
| (=> (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4667-4669 | |
| (=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4663-4665 |
|
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