No TPTP formula. May not be expressible in strict first order. | Merge.kif 12674-12674 | Mudanca de Forma e' uma sub-classe de Mudanca Interna |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3165-3165 | Folding e' uma sub-classe de Mudanca de Forma |
No TPTP formula. May not be expressible in strict first order. | Food.kif 963-963 | Crushing e' uma sub-classe de Mudanca de Forma |
![]() |