| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13798-13798 | Changement d'�tat est une sous-classe de changement interne |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10515-10515 | Clotting est une sous-classe de changement d'�tat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13947-13947 | Mettre en fusion est une sous-classe de changement d'�tat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13968-13968 | �vaporer Est une sous-classe de changement d'�tat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13993-13993 | Evaporating est une sous-classe de changement d'�tat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14014-14014 | Condenser est une sous-classe de changement d'�tat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14035-14035 | Congeler est une sous-classe de changement d'�tat |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6991-6991 | Deposition est une sous-classe de changement d'�tat |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7041-7041 | Sublimation est une sous-classe de changement d'�tat |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3179-3179 | Curdling est une sous-classe de changement d'�tat |
|
|