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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - diplomaticRepresentativeInRole
diplomaticRepresentativeInRole

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


(documentation diplomaticRepresentativeInRole EnglishLanguage "(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?RANK ?AGENT2) means that the AutonomousAgent ?AGENT1 sends the individual ?PERSON with the Position ?RANK as its representative to the AutonomousAgent ?AGENT2. Note: it is possible for ?PERSON to be diplomatically accredited to more than one area. For example, currently the United States Ambassador to Papua New Guinea is also accredited to Vanuatu, and there is no embassy in Vanuatu.") Government.kif 4422-4429
(domain diplomaticRepresentativeInRole 1 AutonomousAgent) Government.kif 4417-4417 Le nombre 1 argument de diplomaticRepresentativeInRole est une instance de AutonomousAgent
(domain diplomaticRepresentativeInRole 2 Human) Government.kif 4418-4418 Le nombre 2 argument de diplomaticRepresentativeInRole est une instance de humain
(domain diplomaticRepresentativeInRole 3 Position) Government.kif 4419-4419 Le nombre 3 argument de diplomaticRepresentativeInRole est une instance de position
(domain diplomaticRepresentativeInRole 4 AutonomousAgent) Government.kif 4420-4420 Le nombre 4 argument de diplomaticRepresentativeInRole est une instance de AutonomousAgent
(instance diplomaticRepresentativeInRole QuaternaryPredicate) Government.kif 4416-4416 diplomaticRepresentativeInRole est une instance de pr�dicat quaternaire

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


(format ChineseLanguage diplomaticRepresentativeInRole "%1 %p{是} %n{不是} 对于 %3 和 %4 的外交代表在角色 %2") domainEnglishFormat.kif 752-752
(format ChineseTraditionalLanguage diplomaticRepresentativeInRole "%1 %p{是} %n{不是} 對於 %3 和 %4 的外交代表在角色 %2 ") domainEnglishFormat.kif 751-751
(format EnglishLanguage diplomaticRepresentativeInRole "%1 %p{is} %n{isn't} diplomatic representative in role %2 for %3 with %4") domainEnglishFormat.kif 750-750
(subrelation chiefOfDiplomaticMission diplomaticRepresentativeInRole) Government.kif 4409-4409 chiefOfDiplomaticMission est une sous-relation de diplomaticRepresentativeInRole
(termFormat ChineseLanguage diplomaticRepresentativeInRole "外交代表担任职务") domainEnglishFormat.kif 19641-19641 chiefOfDiplomaticMission est une sous-relation de diplomaticRepresentativeInRole
(termFormat ChineseTraditionalLanguage diplomaticRepresentativeInRole "外交代表擔任職務") domainEnglishFormat.kif 19640-19640 chiefOfDiplomaticMission est une sous-relation de diplomaticRepresentativeInRole
(termFormat EnglishLanguage diplomaticRepresentativeInRole "diplomatic representative in role") domainEnglishFormat.kif 19639-19639 chiefOfDiplomaticMission est une sous-relation de diplomaticRepresentativeInRole

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


(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 GeopoliticalArea))
    (employs
        (GovernmentFn ?AGENT1) ?PERSON))		 Government.kif 4447-4451
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Nation)
        (instance ?ORG DiplomaticOrganization)
        (subOrganization ?ORG
            (GovernmentFn ?AGENT1))
        (occupiesPosition ?PERSON ?POSITION ?ORG)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?ORG ?AGENT2))		 Government.kif 4472-4480
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Nation))
    (exists (?ORG)
        (and
            (instance ?ORG DiplomaticOrganization)
            (subOrganization ?ORG
                (GovernmentFn ?AGENT1))
            (occupiesPosition ?PERSON ?POSITION ?ORG))))		 Government.kif 4431-4439
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?AGENT1 ?AGENT2))		 Government.kif 4465-4470
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (employs ?AGENT1 ?PERSON))		 Government.kif 4453-4457
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT1 Organization))
    (occupiesPosition ?PERSON ?POSITION ?ORG))		 Government.kif 4441-4445
(=>
    (and
        (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
        (instance ?AGENT2 GeopoliticalArea))
    (agentOperatesInArea ?PERSON ?AGENT2))		 Government.kif 4459-4463
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?POSITION ?AGENT2)
    (diplomaticRepresentationType ?AGENT1 ?POSITION ?AGENT2))		 Government.kif 4492-4494
(=>
    (diplomaticRepresentativeInRole ?AGENT1 ?PERSON Ambassador ?AGENT2)
    (diplomaticOrganizationType ?AGENT1 Embassy ?AGENT2))		 Government.kif 4644-4646
(=>
    (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2)
    (representativeAgentToAgent ?COUNTRY1 ?PERSON ?COUNTRY2))		 Government.kif 4564-4566

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


(=>
    (and
        (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
        (subAttribute ?ROLE DiplomaticAgent))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (citizen ?PERSON ?COUNTRY1)
            (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))		 Government.kif 4543-4551


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