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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - navigableForShippingTonnage
navigableForShippingTonnage

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2632-2635
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2629-2629 The number 1 argument of navigable for shipping tonnage is an instance of water area
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2630-2630 The number 2 argument of navigable for shipping tonnage is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2628-2628 navigable for shipping tonnage is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1795-1795
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1794-1794
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1793-1793
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39975-39975
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39974-39974
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39973-39973

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2637-2643


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