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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sewage

Sigma KEE - Sewage
Sewage(sewage)sewage, sewerage

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2155-2160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31649-31649 roomTempState sewage and liquid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2153-2153 Sewage is a subclass of mixture

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52359-52359
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52358-52358
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52357-52357

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2162-2175
No TPTP formula. May not be expressible in strict first order. naics.kif 954-977
No TPTP formula. May not be expressible in strict first order. Transportation.kif 789-795


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