Bequeathing(bequeathing) | ![]() | bequeath, bequest, devise, entail, fee-tail, leave, legacy, will |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20247-20248 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20246-20246 | Bequeathing is a subclass of unilateral giving |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10770-10770 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10769-10769 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10768-10768 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20250-20266 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17982-17987 |
|
![]() |
![]() |