Substance(substance)

-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1067-1067 Synthetic substance is a subclass of substance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4589-4589 Wicker is a subclass of substance
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 817-817
No TPTP formula. May not be expressible in strict first order. english_format.kif 836-836
No TPTP formula. May not be expressible in strict first order. french_format.kif 493-493
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 26-26
No TPTP formula. May not be expressible in strict first order. terms-it.txt 29-29
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2178-2178
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 445-445
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 30-30
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 60-60
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 514-514
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 30-30


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