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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - USCoastGuardRankingSystem
USCoastGuardRankingSystem(US coast guard ranking system)

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


No TPTP formula. May not be expressible in strict first order. Military.kif 344-344 US coast guard 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 60812-60812
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60811-60811
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 60810-60810

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


No TPTP formula. May not be expressible in strict first order. Military.kif 589-589
No TPTP formula. May not be expressible in strict first order. Military.kif 540-540
No TPTP formula. May not be expressible in strict first order. Military.kif 434-434
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 652-652
No TPTP formula. May not be expressible in strict first order. Military.kif 662-662
No TPTP formula. May not be expressible in strict first order. Military.kif 530-530
No TPTP formula. May not be expressible in strict first order. Military.kif 490-490
No TPTP formula. May not be expressible in strict first order. Military.kif 601-601
No TPTP formula. May not be expressible in strict first order. Military.kif 520-520
No TPTP formula. May not be expressible in strict first order. Military.kif 510-510
No TPTP formula. May not be expressible in strict first order. Military.kif 500-500
No TPTP formula. May not be expressible in strict first order. Military.kif 480-480
No TPTP formula. May not be expressible in strict first order. Military.kif 467-467
No TPTP formula. May not be expressible in strict first order. Military.kif 421-421
No TPTP formula. May not be expressible in strict first order. Military.kif 408-408
No TPTP formula. May not be expressible in strict first order. Military.kif 395-395
No TPTP formula. May not be expressible in strict first order. Military.kif 553-553
No TPTP formula. May not be expressible in strict first order. Military.kif 564-564
No TPTP formula. May not be expressible in strict first order. Military.kif 369-369
No TPTP formula. May not be expressible in strict first order. Military.kif 356-356
No TPTP formula. May not be expressible in strict first order. Military.kif 382-382
No TPTP formula. May not be expressible in strict first order. Military.kif 447-447
No TPTP formula. May not be expressible in strict first order. Military.kif 576-576
No TPTP formula. May not be expressible in strict first order. Military.kif 632-632

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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