| 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 4567-4573 | |
| (domain diplomaticOrganizationType 1 Agent) | Government.kif 4563-4563 | |
| (domain diplomaticOrganizationType 3 Agent) | Government.kif 4565-4565 | |
| (domainSubclass diplomaticOrganizationType 2 Organization) | Government.kif 4564-4564 | |
| (instance diplomaticOrganizationType TernaryPredicate) | Government.kif 4562-4562 |
| 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 19612-19612 | |
| (termFormat ChineseTraditionalLanguage diplomaticOrganizationType "外交組織類型") | domainEnglishFormat.kif 19611-19611 | |
| (termFormat EnglishLanguage diplomaticOrganizationType "diplomatic organization type") | domainEnglishFormat.kif 19610-19610 |
| antecedent |
|
|
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4599-4604 | |
| (=> (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 4579-4588 | |
| (=> (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 4589-4598 | |
| (=> (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2) (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)) |
Government.kif 4575-4577 | |
| (=> (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2) (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)) |
Government.kif 4623-4625 |
| consequent |
|
|
| (=> (and (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2) (geopoliticalSubdivision ?AGENT2 ?AGENT3) (instance ?AGENT3 Nation)) (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3)) |
Government.kif 4599-4604 | |
| (=> (and (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2) (instance ?AREA2 City) (equal ?AGENT2 (GovernmentFn ?AREA2))) (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)) |
Government.kif 4606-4611 | |
| (=> (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4618-4620 | |
| (=> (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2) (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)) |
Government.kif 4614-4616 |
|
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