|
|
   FinancialCompany
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6791-6792 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6790-6790 | Financial company is a subclass of Business |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6794-6794 | Savings and loan is a subclass of financial company |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23745-23745 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23744-23744 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23743-23743 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3754-3754 | The number 2 argument of financialAccount is an instance of financial company |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6856-6861 |
|
|
|
|