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 e' uma sub-relacao de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 247-247 |
accountHolder e' uma sub-relacao de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1298-1298 |
borrower e' uma sub-relacao de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3804-3804 |
financialAccount e' uma sub-relacao de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1284-1284 |
lender e' uma sub-relacao de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2583-2583 |
optionHolder e' uma sub-relacao de partyToAgreement |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2596-2596 |
optionSeller e' uma sub-relacao 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 |
|