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 | O argumento numero 1 de AccountFn e' uma instancia de FinancialAsset |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2315-2315 | AccountFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2317-2317 | O contra-dominio de AccountFn e' uma instancia 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 |