No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1406-1406 |
BalloonLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1488-1488 |
BankTermLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1504-1504 |
BridgeLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1508-1508 |
BrokerLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1425-1425 |
CallableLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1519-1519 |
ConsolidationLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1563-1563 |
DayLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1603-1603 |
EvergreenLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1606-1606 |
IndexedLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1610-1610 |
InterestOnlyLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1585-1585 |
PiggybankLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1345-1345 |
SecuredLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1592-1592 |
SinglePaymentLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1353-1353 |
UnsecuredLoan est une sous-classe de Loan |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34811-34811 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34810-34810 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 34809-34809 |
|