Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  diplomaticOrganizationType

 Sigma KEE - diplomaticOrganizationType
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 4600-4606
(domain diplomaticOrganizationType 1 AutonomousAgent) Government.kif 4596-4596 外交组织类型 的 1 数量 是 施事体 的 instance
(domain diplomaticOrganizationType 3 AutonomousAgent) Government.kif 4598-4598 外交组织类型 的 3 数量 是 施事体 的 instance
(domainSubclass diplomaticOrganizationType 2 Organization) Government.kif 4597-4597 外交组织类型 的 2 数量 是 机构 的 subclass
(instance diplomaticOrganizationType TernaryPredicate) Government.kif 4595-4595 外交组织类型 是 三元谓语 的 instance

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 19614-19614
(termFormat ChineseTraditionalLanguage diplomaticOrganizationType "外交組織類型") domainEnglishFormat.kif 19613-19613
(termFormat EnglishLanguage diplomaticOrganizationType "diplomatic organization type") domainEnglishFormat.kif 19612-19612

antecedent
-------------------------


(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))		 Government.kif 4632-4637
(=>
    (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 4612-4621
(=>
    (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 4622-4631
(=>
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2))		 Government.kif 4608-4610
(=>
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2))		 Government.kif 4656-4658

consequent
-------------------------


(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))		 Government.kif 4632-4637
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))		 Government.kif 4639-4644
(=>
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))		 Government.kif 4651-4653
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))		 Government.kif 4647-4649


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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