|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31422-31422 | roomTempState Campari and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31569-31569 | roomTempState Cannabis and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31451-31451 | roomTempState Carbon and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31570-31570 | roomTempState CarbonDioxide and Gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31504-31504 | roomTempState Cerium and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31426-31426 | roomTempState Chambord and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31419-31419 | roomTempState Champagne and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31397-31397 | roomTempState Charcoal and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31571-31571 | roomTempState ChemicalAcid and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31572-31572 | roomTempState ChemicalBase and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31573-31573 | roomTempState ChemicalSalt and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31463-31463 | roomTempState Chlorine and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31574-31574 | roomTempState ChlorineGas and Gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31575-31575 | roomTempState Chlorofluorocarbon and Gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31576-31576 | roomTempState Chloropicrin and Gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31577-31577 | roomTempState ChokingAgent and Gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31578-31578 | roomTempState Cholesterol and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31579-31579 | roomTempState Chromite and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31470-31470 | roomTempState Chromium and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31580-31580 | roomTempState Ciprofloxacin and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31395-31395 | roomTempState Coal and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31473-31473 | roomTempState Cobalt and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31411-31411 | roomTempState Cobble and Solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31444-31444 | roomTempState CocaCola and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31581-31581 | roomTempState Cocaine and Solid |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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