No TPTP formula. May not be expressible in strict first order. | Merge.kif 12503-12503 | Processus chimique est une sous-classe de changement interne |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10081-10081 | Metabolism est une sous-classe de processus chimique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12522-12522 | Synth�se chimique est une sous-classe de processus chimique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12558-12558 | D�composition chemical est une sous-classe de processus chimique |