|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31605-31605 | roomTempState GroundWater and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31611-31611 | roomTempState HydraulicFluid and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31550-31550 | roomTempState HydrogenCyanide and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31439-31439 | roomTempState JamesonsWhiskey and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31428-31428 | roomTempState Kahlua and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31613-31613 | roomTempState Keflex and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31547-31547 | roomTempState Lewisite and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31423-31423 | roomTempState Liqueur and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31615-31615 | roomTempState LiquidMixture and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31526-31526 | roomTempState Mercury and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31619-31619 | roomTempState Methanol and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31414-31414 | roomTempState Milk and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31434-31434 | roomTempState PatronTequilla and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31548-31548 | roomTempState PhosgeneOxime and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31632-31632 | roomTempState PhosphoricAcid and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31637-31637 | roomTempState ProtonPumpInhibitor and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31638-31638 | roomTempState PyridostigmineBromide and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31639-31639 | roomTempState Rain and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31640-31640 | roomTempState Remdesivir and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31431-31431 | roomTempState Rum and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31430-31430 | roomTempState Schnapps and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31645-31645 | roomTempState Sewage and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31443-31443 | roomTempState Soda and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31649-31649 | roomTempState Soman and Liquid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1646-1646 | roomTempState Soup and Liquid |
| 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