USMilitaryRankO3 - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - USMilitaryRankO3

USMilitaryRankO3(美国军衔o3)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 503-503	美国军衔o3 是公司等级排名的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 504-504	美国军衔o3 是美国军衔的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 505-505	美国军衔o3 是士兵的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Military.kif 512-512	美国军衔o3 是美国军衔o4 的直接后续属性

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 502-502	美国军衔o2 是美国军衔o3 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 507-507
No TPTP formula. May not be expressible in strict first order.	Military.kif 506-506
No TPTP formula. May not be expressible in strict first order.	Military.kif 508-508
No TPTP formula. May not be expressible in strict first order.	Military.kif 510-510
No TPTP formula. May not be expressible in strict first order.	Military.kif 509-509
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60974-60974
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60973-60973
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60972-60972

statement

No TPTP formula. May not be expressible in strict first order.

Military.kif 742-743

结合美国军衔o3 和美国军衔o4 是公司- 军事的 command 梯队等级

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