| CreditCard(信用卡)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 214-216 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5940-5940 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6319-6319 | |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 213-213 | 子類 信用卡 and 銀行卡 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3452-3452 | 子類 美國快遞卡 and 信用卡 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3451-3451 | 子類 發現卡片 and 信用卡 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3450-3450 | 子類 主卡 and 信用卡 |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3449-3449 | 子類 簽證卡 and 信用卡 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17748-17748 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17747-17747 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17746-17746 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 218-226 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1239-1247 |
|
|
|