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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ForeignServicePosition

Sigma KEE - ForeignServicePosition
ForeignServicePosition(foreign service position)

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4396-4398
No TPTP formula. May not be expressible in strict first order. Government.kif 4394-4394 Foreign service position is a subclass of position

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4412-4412 Ambassador is an instance of foreign service position
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 4426-4426 Consul is an instance of foreign service position
No TPTP formula. May not be expressible in strict first order. Government.kif 4419-4419 Consul general is an instance of foreign service position
No TPTP formula. May not be expressible in strict first order. Government.kif 4400-4400 Diplomatic agent is an instance of foreign service position
No TPTP formula. May not be expressible in strict first order. Government.kif 4441-4441 Principal officer is an instance of foreign service position
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 4408-4410

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4557-4563
No TPTP formula. May not be expressible in strict first order. Government.kif 4565-4571


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