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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ForeignServicePosition

Sigma KEE - ForeignServicePosition
ForeignServicePosition

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


(documentation ForeignServicePosition EnglishLanguage "ForeignServicePosition is the subclass of Positions that belong to foreign service personnel working for a national government or international organization.") Government.kif 4358-4360
(subclass ForeignServicePosition Position) Government.kif 4356-4356 ForeignServicePosition est une sous-classe de position

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


(instance Ambassador ForeignServicePosition) Government.kif 4374-4374 Ambassador est une instance de ForeignServicePosition
(instance ChargeDAffaires ForeignServicePosition) Government.kif 4394-4394 ChargeDAffaires est une instance de ForeignServicePosition
(instance Consul ForeignServicePosition) Government.kif 4388-4388 Consul est une instance de ForeignServicePosition
(instance ConsulGeneral ForeignServicePosition) Government.kif 4381-4381 ConsulGeneral est une instance de ForeignServicePosition
(instance DiplomaticAgent ForeignServicePosition) Government.kif 4362-4362 DiplomaticAgent est une instance de ForeignServicePosition
(instance PrincipalOfficer ForeignServicePosition) Government.kif 4403-4403 PrincipalOfficer est une instance de ForeignServicePosition
(termFormat ChineseLanguage ForeignServicePosition "外国服务职位") domainEnglishFormat.kif 24679-24679 PrincipalOfficer est une instance de ForeignServicePosition
(termFormat ChineseTraditionalLanguage ForeignServicePosition "外國服務職位") domainEnglishFormat.kif 24678-24678 PrincipalOfficer est une instance de ForeignServicePosition
(termFormat EnglishLanguage ForeignServicePosition "foreign service position") domainEnglishFormat.kif 24677-24677 PrincipalOfficer est une instance de ForeignServicePosition

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


(=>
    (instance ?ROLE ForeignServicePosition)
    (subAttribute ?ROLE DiplomaticAgent))
Government.kif 4370-4372

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


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4519-4525
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4527-4533


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