|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31506-31506 | roomTempState neodymium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31456-31456 | roomTempState neon and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31539-31539 | roomTempState neptunium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31474-31474 | roomTempState nickel and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31624-31624 | roomTempState nickel ore and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31487-31487 | roomTempState niobium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31625-31625 | roomTempState nitric oxide and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31453-31453 | roomTempState nitrogen and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31626-31626 | roomTempState nitrogen dioxide and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31546-31546 | roomTempState nitrogen mustard gas and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31627-31627 | roomTempState opium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31522-31522 | roomTempState osmium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31454-31454 | roomTempState oxygen and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31492-31492 | roomTempState palladium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31628-31628 | roomTempState PM and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31434-31434 | roomTempState patron tequilla and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31410-31410 | roomTempState pebble and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31629-31629 | roomTempState penicillin and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31630-31630 | roomTempState phosgene and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31548-31548 | roomTempState phosgene oxime and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31631-31631 | roomTempState phosphate and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31632-31632 | roomTempState phosphoric acid and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31461-31461 | roomTempState phosphorus and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31633-31633 | roomTempState pill and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31400-31400 | roomTempState plant wicker 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