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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRankWO2
USMilitaryRankWO2(US military rankW o2)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 637-637 US military rankW o2 is an instance of commissioned officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 636-636 US military rankW o2 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 635-635 US military rankW o2 is an instance of US warrant officer rank
No TPTP formula. May not be expressible in strict first order. Military.kif 638-638 US military rankW o2 is a subattribute of soldier
No TPTP formula. May not be expressible in strict first order. Military.kif 644-644 US military rankW o2 is an immediate successor attribute of US military rankW o3

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


No TPTP formula. May not be expressible in strict first order. Military.kif 634-634 US military rankW o1 is an immediate successor attribute of US military rankW o2
No TPTP formula. May not be expressible in strict first order. Military.kif 639-639
No TPTP formula. May not be expressible in strict first order. Military.kif 642-642
No TPTP formula. May not be expressible in strict first order. Military.kif 640-640
No TPTP formula. May not be expressible in strict first order. Military.kif 641-641
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60994-60994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60993-60993
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60992-60992


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