No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31634-31634	roomTempState plastic and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31524-31524	roomTempState platinum and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31540-31540	roomTempState plutonium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31530-31530	roomTempState polonium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31636-31636	roomTempState potash and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31465-31465	roomTempState potassium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31404-31404	roomTempState powder and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31505-31505	roomTempState praseodymium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31507-31507	roomTempState promethium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31537-31537	roomTempState protactinium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31637-31637	roomTempState PPI and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31638-31638	roomTempState pyridostigmine bromide and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31534-31534	roomTempState radium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31532-31532	roomTempState radon and solid
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 Veklury and liquid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31521-31521	roomTempState rhenium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31491-31491	roomTempState rhodium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31641-31641	roomTempState ricin toxin and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31407-31407	roomTempState rock and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31642-31642	roomTempState rubber and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31483-31483	roomTempState rubidium and solid
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 31490-31490	roomTempState ruthenium and solid
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31508-31508	roomTempState samarium 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