No TPTP formula. May not be expressible in strict first order. | Merge.kif 11731-11731 | Unilateral giving is a subclass of giving |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18640-18640 | Awarding is a subclass of unilateral giving |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18674-18674 | Bequeathing is a subclass of unilateral giving |
![]() |