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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USAirforceRankingSystem

Sigma KEE - USAirforceRankingSystem
USAirforceRankingSystem(US airforce ranking system)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 341-341 US airforce 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 60796-60796
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60795-60795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60794-60794

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


No TPTP formula. May not be expressible in strict first order. Military.kif 497-497
No TPTP formula. May not be expressible in strict first order. Military.kif 487-487
No TPTP formula. May not be expressible in strict first order. Military.kif 353-353
No TPTP formula. May not be expressible in strict first order. Military.kif 379-379
No TPTP formula. May not be expressible in strict first order. Military.kif 366-366
No TPTP formula. May not be expressible in strict first order. Military.kif 550-550
No TPTP formula. May not be expressible in strict first order. Military.kif 507-507
No TPTP formula. May not be expressible in strict first order. Military.kif 477-477
No TPTP formula. May not be expressible in strict first order. Military.kif 462-462
No TPTP formula. May not be expressible in strict first order. Military.kif 537-537
No TPTP formula. May not be expressible in strict first order. Military.kif 603-603
No TPTP formula. May not be expressible in strict first order. Military.kif 591-591
No TPTP formula. May not be expressible in strict first order. Military.kif 599-599
No TPTP formula. May not be expressible in strict first order. Military.kif 586-586
No TPTP formula. May not be expressible in strict first order. Military.kif 527-527
No TPTP formula. May not be expressible in strict first order. Military.kif 573-573
No TPTP formula. May not be expressible in strict first order. Military.kif 561-561
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 431-431
No TPTP formula. May not be expressible in strict first order. Military.kif 548-548
No TPTP formula. May not be expressible in strict first order. Military.kif 392-392
No TPTP formula. May not be expressible in strict first order. Military.kif 444-444
No TPTP formula. May not be expressible in strict first order. Military.kif 405-405
No TPTP formula. May not be expressible in strict first order. Military.kif 418-418
No TPTP formula. May not be expressible in strict first order. Military.kif 578-578

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