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

Formal Language: 



KB Term:  Term intersection
English Word: 

  chiefOfDiplomaticMission

Sigma KEE - chiefOfDiplomaticMission
chiefOfDiplomaticMission

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


(documentation chiefOfDiplomaticMission EnglishLanguage "(chiefOfDiplomaticMission ?AGENT1 ?PERSON ?RANK ?AGENT2) means that the chief diplomatic representative sent by the Agent ?AGENT1 to the Agent ?AGENT2 is ?PERSON, whose official position is ?RANK.") Government.kif 4387-4390
(domain chiefOfDiplomaticMission 1 Agent) Government.kif 4381-4381 The number 1 argument of chief of diplomatic mission is an instance of agent
(domain chiefOfDiplomaticMission 2 Human) Government.kif 4382-4382 The number 2 argument of chief of diplomatic mission is an instance of human
(domain chiefOfDiplomaticMission 3 Position) Government.kif 4383-4383 The number 3 argument of chief of diplomatic mission is an instance of position
(domain chiefOfDiplomaticMission 4 Agent) Government.kif 4384-4384 The number 4 argument of chief of diplomatic mission is an instance of agent
(instance chiefOfDiplomaticMission QuaternaryPredicate) Government.kif 4380-4380 chief of diplomatic mission is an instance of quaternary predicate
(subrelation chiefOfDiplomaticMission diplomaticRepresentativeInRole) Government.kif 4385-4385 chief of diplomatic mission is a subrelation of diplomatic representative in role

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


(format EnglishLanguage chiefOfDiplomaticMission "%1 %n{doesn't} chief of diplomatic mission %2 for %3 with %4") domainEnglishFormat.kif 118-118
(termFormat EnglishLanguage chiefOfDiplomaticMission "chief of diplomatic mission") domainEnglishFormat.kif 2830-2830 "chief of diplomatic mission" is the printable form of chief of diplomatic mission in english language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners