No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 620-620 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 619-619 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 618-618 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3806-3806 |
availableBalance est une sous-relation de currentAccountBalance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18114-18114 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18113-18113 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 18112-18112 |
|