| PersonalAccount
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 993-994 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10188-10188 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 992-992 | PersonalAccount e' uma sub-classe de FinancialAccount |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1014-1014 | CorporateAccount e' disjunto de PersonalAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3385-3385 | IndividualRetirementAccount e' uma sub-classe de PersonalAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1002-1002 | JointAccount e' uma sub-classe de PersonalAccount |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45302-45302 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45301-45301 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45300-45300 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1007-1011 | Entidade e' uma instancia de PersonalAccount o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' maior que 1 Entidade e' uma instancia de JointAccount |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 606-611 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 996-1000 | accountHolder FinancialAccount and Agente Cognitivo Agente Cognitivo e' uma instancia de Humano FinancialAccount e' uma instancia de PersonalAccount |
|
|
|