No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31525-31525	roomTempState gold and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31429-31429	roomTempState Grand Marnier and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31603-31603	roomTempState gravel and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31604-31604	roomTempState greenhouse gas and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31605-31605	roomTempState ground water and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31607-31607	roomTempState gun powder and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31518-31518	roomTempState hafnium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31608-31608	roomTempState hashish and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31447-31447	roomTempState helium and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31609-31609	roomTempState heroin and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31513-31513	roomTempState holmium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31610-31610	roomTempState humus and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31611-31611	roomTempState hydraulic fluid and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31446-31446	roomTempState hydrogen and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31550-31550	roomTempState hydrogen cyanide and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31495-31495	roomTempState indium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31499-31499	roomTempState iodine and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31523-31523	roomTempState iridium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31472-31472	roomTempState iron and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31612-31612	roomTempState iron ore and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31439-31439	roomTempState Jamesons whiskey 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 31482-31482	roomTempState krypton and gas
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31503-31503	roomTempState lanthanum 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