AccountFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2318-2319 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2316-2316 | Le nombre 1 argument de AccountFn est une instance de FinancialAsset |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2315-2315 | AccountFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2317-2317 | Le domaine de AccountFn est une instance de FinancialAccount |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36-36 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35-35 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 34-34 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5244-5244 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5243-5243 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5242-5242 |
antecedent |
consequent |