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
-------------------------


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 外国服务职位 是 地位 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4412-4412 大使 是 外国服务职位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4432-4432 ChargeD 业务 是 外国服务职位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4426-4426 领事 是 外国服务职位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4419-4419 总领事 是 外国服务职位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4400-4400 外交代表 是 外国服务职位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4441-4441 主要官员 是 外国服务职位 的 instance
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