No TPTP formula. May not be expressible in strict first order. | Merge.kif 11715-11715 | Funding e' uma sub-classe de Dar |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7206-7206 | Financing e' uma sub-classe de Funding |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7225-7225 | Scholarship e' uma sub-classe de Funding |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7241-7241 | Welfare e' uma sub-classe de Funding |
![]() |