|
|
   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 e' uma sub-classe de Organizacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 21-21 | BankFinancialOrganization e' uma sub-classe de FinancialOrganization |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 28-28 | CreditUnion e' uma sub-classe de FinancialOrganization |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 35-35 | SavingsAndLoans e' uma sub-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 | O argumento numero 2 de accountAt e' uma instancia de FinancialOrganization |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 894-894 | O argumento numero 1 de serviceFee e' uma instancia 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 |
|
|
|