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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChargeDAffaires

 Sigma KEE - ChargeDAffaires
ChargeDAffaires(chargeD affaires)charge_d'affaires

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4435-4437
No TPTP formula. May not be expressible in strict first order. Government.kif 4432-4432 ChargeD affaires is an instance of foreign service position
No TPTP formula. May not be expressible in strict first order. Government.kif 4433-4433 ChargeD affaires is a subattribute of diplomatic agent

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4439-4439 Permanent chargeD affaires is a subattribute of chargeD affaires
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14178-14178
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14177-14177
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14176-14176


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