|
|
   FinancialOrganization
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 18-19 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 17-17 | FinancialOrganization est une sous-classe de organisation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 21-21 | BankFinancialOrganization est une sous-classe de FinancialOrganization |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 28-28 | CreditUnion est une sous-classe de FinancialOrganization |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 35-35 | SavingsAndLoans est une sous-classe de FinancialOrganization |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23786-23786 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23785-23785 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23784-23784 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 231-231 | Le nombre 2 argument de accountAt est une instance de FinancialOrganization |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 894-894 | Le nombre 1 argument de serviceFee est une instance de FinancialOrganization |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 293-306 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4143-4150 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 4129-4136 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 69-74 |
|
|
|