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

KB Term:  Term intersection
English Word: 

Sigma KEE - diplomaticOrganizationType
diplomaticOrganizationType

appearance as argument number 1
-------------------------


(instance diplomaticOrganizationType TernaryPredicate) Government.kif 4623-4623 diplomatic organization type is an instance of ternary predicate
(domain diplomaticOrganizationType 1 AutonomousAgent) Government.kif 4624-4624 The number 1 argument of diplomatic organization type is an instance of agent
(domainSubclass diplomaticOrganizationType 2 Organization) Government.kif 4625-4625 The number 2 argument of diplomatic organization type is a subclass of organization
(domain diplomaticOrganizationType 3 AutonomousAgent) Government.kif 4626-4626 The number 3 argument of diplomatic organization type is an instance of agent
(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 4628-4634 The number 3 argument of diplomatic organization type is an instance of agent

appearance as argument number 2
-------------------------


(format EnglishLanguage diplomaticOrganizationType "%1 %p{is} %n{isn't} diplomatic organization type %2 for %3") domainEnglishFormat.kif 738-738
(format ChineseTraditionalLanguage diplomaticOrganizationType "%1 %p{是} %n{不是} 對於 %3 的 diplomatic 類別") domainEnglishFormat.kif 739-739
(format ChineseLanguage diplomaticOrganizationType "%1 %p{是} %n{不是} 对于 %3 的 diplomatic 类别") domainEnglishFormat.kif 740-740
(termFormat EnglishLanguage diplomaticOrganizationType "diplomatic organization type") domainEnglishFormat.kif 19614-19614
(termFormat ChineseTraditionalLanguage diplomaticOrganizationType "外交組織類型") domainEnglishFormat.kif 19615-19615
(termFormat ChineseLanguage diplomaticOrganizationType "外交组织类型") domainEnglishFormat.kif 19616-19616

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


(=>
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2))		 Government.kif 4636-4638 If X is diplomatic organization type consulate general for Y, then X diplomatic representation type consul general for Y
(=>
    (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 4640-4649 If X is diplomatic organization type Y for Z, X is an instance of nation, and Z is an instance of geopolitical area, then there exists W such that W is an instance of Y, W is located at Z, and W is a part of the organization the government of X
(=>
    (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 4650-4659 If X is diplomatic organization type Y for Z, X is an instance of organization, and Z is an instance of geopolitical area, then there exists W such that W is an instance of Y, W is located at Z, and W is a part of the organization X
(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))		 Government.kif 4660-4665 If X is diplomatic organization type Y for Z, Z is a geopolitical part of W, and W is an instance of nation, then X is diplomatic organization type Y for W
(=>
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2))		 Government.kif 4684-4686 If X is diplomatic organization type embassy for Y, then X diplomatic representation type ambassador for Y

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


(=>
    (and
        (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticOrganizationType ?AGENT1 ?TYPE ?AGENT3))		 Government.kif 4660-4665 If X is diplomatic organization type Y for Z, Z is a geopolitical part of W, and W is an instance of nation, then X is diplomatic organization type Y for W
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))		 Government.kif 4667-4672 If X diplomatic representation type consul general for Y, Z is an instance of city, and equal Y and the government of Z, then X is diplomatic organization type consulate general for Y
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))		 Government.kif 4675-4677 If X is diplomatic representative in role Y for ambassador with Z, then X is diplomatic organization type embassy for Z
(=>
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))		 Government.kif 4679-4681 If X diplomatic representation type ambassador for Y, then X is diplomatic organization type embassy for Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners