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

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


No TPTP formula. May not be expressible in strict first order. Government.kif 4376-4376 大使 是 外国服务职位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4396-4396 ChargeD 业务 是 外国服务职位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4390-4390 领事 是 外国服务职位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4383-4383 总领事 是 外国服务职位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4364-4364 外交代表 是 外国服务职位 的 instance
No TPTP formula. May not be expressible in strict first order. Government.kif 4405-4405 主要官员 是 外国服务职位 的 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 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