No TPTP formula. May not be expressible in strict first order. | Merge.kif 11731-11731 | Donnation unilat�rale est une sous-classe de donner |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18640-18640 | Awarding est une sous-classe de donnation unilat�rale |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18674-18674 | Bequeathing est une sous-classe de donnation unilat�rale |