No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8950-8950 | Powder is a subclass of substance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8958-8958 | Fallout is a subclass of powder |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1028-1028 | Coffee grind is a subclass of powder |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1471-1471 | Flour is a subclass of powder |