No TPTP formula. May not be expressible in strict first order. | Merge.kif 11709-11709 | Doacao Unilateral e' uma sub-classe de Dar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18641-18641 | Awarding e' uma sub-classe de Doacao Unilateral |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18675-18675 | Bequeathing e' uma sub-classe de Doacao Unilateral |