| No TPTP formula. May not be expressible in strict first order. | Merge.kif 867-867 | OrganicThing est une sous-classe de objet en une partie |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14347-14347 | Objet organique est une sous-classe de OrganicThing |
|
|