No TPTP formula. May not be expressible in strict first order. | Merge.kif 11715-11715 | Funding est une sous-classe de donner |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7206-7206 | Financing est une sous-classe de Funding |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7225-7225 | Scholarship est une sous-classe de Funding |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7241-7241 | Welfare est une sous-classe de Funding |
![]() |