No TPTP formula. May not be expressible in strict first order. | Merge.kif 11709-11709 | Unilateral giving is a subclass of giving |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18641-18641 | Awarding is a subclass of unilateral giving |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18675-18675 | Bequeathing is a subclass of unilateral giving |