| CoffeeBean(咖啡豆)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4626-4627 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1433-1433 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4625-4625 | 子類 咖啡豆 and FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4624-4624 | 子類 咖啡豆 and 種子 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 634-634 | %每個 咖啡 是 咖啡豆 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4636-4636 | 子類 CoffeeArabica and 咖啡豆 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4660-4660 | 子類 CoffeeRobusta and 咖啡豆 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15500-15500 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15499-15499 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15498-15498 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4629-4634 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 547-552 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 509-514 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 559-564 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 571-578 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 609-614 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 585-590 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 621-626 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 495-502 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 533-540 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 521-526 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 597-602 |
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 454-458 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 479-488 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1044-1052 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1034-1042 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 645-647 |
|
|
|