| 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 | 金融机构 是 机构 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 21-21 | BankFinancialOrganization 是 金融机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 28-28 | 信用社 是 金融机构 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 35-35 | 储蓄和贷款 是 金融机构 的 subclass |
| 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 | 帐号在 的 2 数量 是 金融机构 的 instance |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 894-894 | 服务费 的 1 数量 是 金融机构 的 instance |
| 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 |
|
|
|