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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USMarineCorpsRankingSystem

Sigma KEE - USMarineCorpsRankingSystem
USMarineCorpsRankingSystem(US marine corps ranking system)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 342-342 US marine corps ranking system is an instance of language

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60880-60880
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60879-60879
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60878-60878

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Military.kif 498-498
No TPTP formula. May not be expressible in strict first order. Military.kif 488-488
No TPTP formula. May not be expressible in strict first order. Military.kif 551-551
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 640-640
No TPTP formula. May not be expressible in strict first order. Military.kif 650-650
No TPTP formula. May not be expressible in strict first order. Military.kif 660-660
No TPTP formula. May not be expressible in strict first order. Military.kif 670-670
No TPTP formula. May not be expressible in strict first order. Military.kif 538-538
No TPTP formula. May not be expressible in strict first order. Military.kif 463-463
No TPTP formula. May not be expressible in strict first order. Military.kif 393-393
No TPTP formula. May not be expressible in strict first order. Military.kif 445-445
No TPTP formula. May not be expressible in strict first order. Military.kif 592-592
No TPTP formula. May not be expressible in strict first order. Military.kif 587-587
No TPTP formula. May not be expressible in strict first order. Military.kif 432-432
No TPTP formula. May not be expressible in strict first order. Military.kif 380-380
No TPTP formula. May not be expressible in strict first order. Military.kif 528-528
No TPTP formula. May not be expressible in strict first order. Military.kif 574-574
No TPTP formula. May not be expressible in strict first order. Military.kif 562-562
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. Military.kif 464-464
No TPTP formula. May not be expressible in strict first order. Military.kif 549-549
No TPTP formula. May not be expressible in strict first order. Military.kif 367-367
No TPTP formula. May not be expressible in strict first order. Military.kif 354-354
No TPTP formula. May not be expressible in strict first order. Military.kif 478-478

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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