No TPTP formula. May not be expressible in strict first order. | Merge.kif 12652-12652 | 子類 ShapeChange and InternalChange |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3165-3165 | 子類 摺頁 and ShapeChange |
No TPTP formula. May not be expressible in strict first order. | Food.kif 963-963 | 子類 Crushing and ShapeChange |