No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1907-1907 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1906-1906 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 1905-1905 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 228-228 |
accountAt est une sous-relation de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 247-247 |
accountHolder est une sous-relation de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1298-1298 |
borrower est une sous-relation de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3804-3804 |
financialAccount est une sous-relation de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1284-1284 |
lender est une sous-relation de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2583-2583 |
optionHolder est une sous-relation de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2596-2596 |
optionSeller est une sous-relation de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44616-44616 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44615-44615 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44614-44614 |
|