No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1552-1552 |
ConventionalMortgage e' uma sub-classe de Mortgage |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1534-1534 |
FHALoan e' uma sub-classe de Mortgage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38597-38597 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38596-38596 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38595-38595 |
|