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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USArmyRankingSystem

Sigma KEE - USArmyRankingSystem
USArmyRankingSystem(US army ranking system)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 340-340 US army 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 60800-60800
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60799-60799
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60798-60798

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


No TPTP formula. May not be expressible in strict first order. Military.kif 496-496
No TPTP formula. May not be expressible in strict first order. Military.kif 486-486
No TPTP formula. May not be expressible in strict first order. Military.kif 546-546
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 639-639
No TPTP formula. May not be expressible in strict first order. Military.kif 649-649
No TPTP formula. May not be expressible in strict first order. Military.kif 659-659
No TPTP formula. May not be expressible in strict first order. Military.kif 669-669
No TPTP formula. May not be expressible in strict first order. Military.kif 536-536
No TPTP formula. May not be expressible in strict first order. Military.kif 476-476
No TPTP formula. May not be expressible in strict first order. Military.kif 461-461
No TPTP formula. May not be expressible in strict first order. Military.kif 602-602
No TPTP formula. May not be expressible in strict first order. Military.kif 590-590
No TPTP formula. May not be expressible in strict first order. Military.kif 598-598
No TPTP formula. May not be expressible in strict first order. Military.kif 585-585
No TPTP formula. May not be expressible in strict first order. Military.kif 526-526
No TPTP formula. May not be expressible in strict first order. Military.kif 572-572
No TPTP formula. May not be expressible in strict first order. Military.kif 559-559
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 443-443
No TPTP formula. May not be expressible in strict first order. Military.kif 547-547
No TPTP formula. May not be expressible in strict first order. Military.kif 378-378
No TPTP formula. May not be expressible in strict first order. Military.kif 352-352
No TPTP formula. May not be expressible in strict first order. Military.kif 365-365
No TPTP formula. May not be expressible in strict first order. Military.kif 430-430

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