|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31425-31425 | roomTempState Baileys and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31563-31563 | roomTempState barite and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31502-31502 | roomTempState barium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31564-31564 | roomTempState batrachotoxin and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31565-31565 | roomTempState bauxite and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31441-31441 | roomTempState beer and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31543-31543 | roomTempState berkelium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31449-31449 | roomTempState beryllium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31413-31413 | roomTempState beverage and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31529-31529 | roomTempState bismuth and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31549-31549 | roomTempState blood agent and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31450-31450 | roomTempState boron and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31566-31566 | roomTempState botulinum toxin and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31412-31412 | roomTempState boulder and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31440-31440 | roomTempState brandy and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31481-31481 | roomTempState bromine and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31396-31396 | roomTempState brown coal and solid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3098-3098 | roomTempState butter and solid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2931-2931 | roomTempState butter fat and solid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3170-3170 | roomTempState buttermilk and liquid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31586-31586 | roomTempState CS gas and gas |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31494-31494 | roomTempState cadmium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31501-31501 | roomTempState caesium and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31568-31568 | roomTempState caffeine and solid |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31466-31466 | roomTempState calcium 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