USMilitaryRankO4 - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - USMilitaryRankO4

USMilitaryRankO4(美国军衔o4)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Military.kif 513-513	美国军衔o4 是现场等级军官等级的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 514-514	美国军衔o4 是美国军衔的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 515-515	美国军衔o4 是士兵的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Military.kif 522-522	美国军衔o4 是美国军衔o5 的直接后续属性

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Military.kif 512-512	美国军衔o3 是美国军衔o4 的直接后续属性
No TPTP formula. May not be expressible in strict first order.	Military.kif 520-520
No TPTP formula. May not be expressible in strict first order.	Military.kif 519-519
No TPTP formula. May not be expressible in strict first order.	Military.kif 517-517
No TPTP formula. May not be expressible in strict first order.	Military.kif 516-516
No TPTP formula. May not be expressible in strict first order.	Military.kif 518-518
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60980-60980
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60979-60979
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 60978-60978

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