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 | The number 1 argument of account is an instance of financial asset |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2315-2315 | Account is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2317-2317 | The range of account is an instance of financial account |
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 |