JointAccount
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1003-1005 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1002-1002 | 联名账户 是 个人账户 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31663-31663 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31662-31662 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31661-31661 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1007-1011 | 实体 是 个人账户 的 instance 和 符号串 所描述的类别 instance 的数量 是 greaterThan 1 若且唯若 那个 实体 是 联名账户 的 instance |