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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25208-25208 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25207-25207 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25206-25206 |
|