TraditionalSavingsAccount |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1102-1103 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10300-10300 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12017-12017 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12016-12016 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12015-12015 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1101-1101 | TraditionalSavingsAccount est une sous-classe de SavingsAccount |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58750-58750 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58749-58749 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58748-58748 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1115-1124 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1105-1107 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1109-1113 |