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 | 子類 金融機構 and Organization |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 21-21 | 子類 BankFinancialOrganization and 金融機構 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 28-28 | 子類 信用社 and 金融機構 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 35-35 | 子類 儲蓄和貸款 and 金融機構 |
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 and 金融機構 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 894-894 | 域 服務費, 1 and 金融機構 |
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 |