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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USMilitaryRank
USMilitaryRank(US military rank)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 256-256
No TPTP formula. May not be expressible in strict first order. Military.kif 255-255 US military rank is a subclass of military rank

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


No TPTP formula. May not be expressible in strict first order. Military.kif 347-347 US military rank e1 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 360-360 US military rank e2 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 373-373 US military rank e3 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 386-386 US military rank e4 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 399-399 US military rank e5 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 412-412 US military rank e6 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 425-425 US military rank e7 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 438-438 US military rank e8 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 451-451 US military rank e9 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 470-470 US military rank e9special is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 484-484 US military rank o1 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 583-583 US military rank o10 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 494-494 US military rank o2 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 504-504 US military rank o3 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 514-514 US military rank o4 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 524-524 US military rank o5 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 534-534 US military rank o6 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 544-544 US military rank o7 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 557-557 US military rank o8 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 570-570 US military rank o9 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 596-596 US military rank special is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 627-627 US military rankW o1 is an instance of US military 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 646-646 US military rankW o3 is an instance of US military rank
No TPTP formula. May not be expressible in strict first order. Military.kif 656-656 US military rankW o4 is an instance of US military rank

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 257-264


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