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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diplomaticRepresentationType
diplomaticRepresentationType

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


(documentation diplomaticRepresentationType EnglishLanguage "(diplomaticRepresentationType ?AGENT1 ?RANK ?AGENT2) means that the AutonomousAgent ?AGENT1 sends a representative with the Position ?RANK to the AutonomousAgent ?AGENT2.") Government.kif 4526-4529
(domain diplomaticRepresentationType 1 AutonomousAgent) Government.kif 4522-4522
(domain diplomaticRepresentationType 2 Position) Government.kif 4523-4523
(domain diplomaticRepresentationType 3 AutonomousAgent) Government.kif 4524-4524
(instance diplomaticRepresentationType TernaryPredicate) Government.kif 4521-4521

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


(format ChineseLanguage diplomaticRepresentationType "") domainEnglishFormat.kif 748-748
(format ChineseTraditionalLanguage diplomaticRepresentationType "% %n %1 %3 ") domainEnglishFormat.kif 747-747
(format EnglishLanguage diplomaticRepresentationType "%1 %n{doesn't} diplomatic representation type %2 for %3") domainEnglishFormat.kif 746-746
(termFormat ChineseLanguage diplomaticRepresentationType "外交代表类型") domainEnglishFormat.kif 19626-19626
(termFormat ChineseTraditionalLanguage diplomaticRepresentationType "外交代表類型") domainEnglishFormat.kif 19625-19625
(termFormat EnglishLanguage diplomaticRepresentationType "diplomatic representation type") domainEnglishFormat.kif 19624-19624

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


(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))
Government.kif 4535-4540
(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2)
        (instance ?AREA2 City)
        (equal ?AGENT2
            (GovernmentFn ?AREA2)))
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2))
Government.kif 4675-4680
(=>
    (and
        (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
        (subAttribute ?ROLE DiplomaticAgent))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (citizen ?PERSON ?COUNTRY1)
            (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))
Government.kif 4582-4590
(=>
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))
Government.kif 4687-4689
(=>
    (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2))
Government.kif 4553-4555

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


(=>
    (and
        (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2)
        (geopoliticalSubdivision ?AGENT2 ?AGENT3)
        (instance ?AGENT3 Nation))
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT3))
Government.kif 4535-4540
(=>
    (and
        (instance ?SENDER Nation)
        (instance ?RECEIVER Nation)
        (instance ?PERSON Human)
        (attribute ?PERSON ?ROLE)
        (subAttribute ?ROLE DiplomaticAgent)
        (representativeAgentToAgent ?SENDER ?PERSON ?RECEIVER))
    (diplomaticRepresentationType ?SENDER ?ROLE ?RECEIVER))
Government.kif 4621-4629
(=>
    (diplomaticOrganizationType ?AGENT1 ConsulateGeneral ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ConsulGeneral ?AGENT2))
Government.kif 4644-4646
(=>
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 Ambassador ?AGENT2))
Government.kif 4692-4694
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4557-4563
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4565-4571
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE1 ?ROLE2)
        (and
            (instance ?ROLE1 Position)
            (instance ?ROLE2 Position)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE1 ?COUNTRY2)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE2 ?COUNTRY1))))
Government.kif 4573-4580
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2))
Government.kif 4531-4533


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