diplomaticOrganizationType |
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 |
![]() |
![]() |