No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7234-7234 |
Financing e' uma sub-classe de Funding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7253-7253 |
Scholarship e' uma sub-classe de Funding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7269-7269 |
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 |
|