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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ForeignServicePosition
ForeignServicePosition

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4360-4362
No TPTP formula. May not be expressible in strict first order. Government.kif 4358-4358 ForeignServicePosition est une sous-classe de position

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4376-4376 Ambassador est une instance de ForeignServicePosition
No TPTP formula. May not be expressible in strict first order. Government.kif 4396-4396 ChargeDAffaires est une instance de ForeignServicePosition
No TPTP formula. May not be expressible in strict first order. Government.kif 4390-4390 Consul est une instance de ForeignServicePosition
No TPTP formula. May not be expressible in strict first order. Government.kif 4383-4383 ConsulGeneral est une instance de ForeignServicePosition
No TPTP formula. May not be expressible in strict first order. Government.kif 4364-4364 DiplomaticAgent est une instance de ForeignServicePosition
No TPTP formula. May not be expressible in strict first order. Government.kif 4405-4405 PrincipalOfficer est une instance de ForeignServicePosition
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24662-24662
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24661-24661
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24660-24660

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4372-4374

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4521-4527
No TPTP formula. May not be expressible in strict first order. Government.kif 4529-4535


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