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 | 咖啡豆 是 FoodFromPlant 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4624-4624 | 咖啡豆 是 种子 的 subclass |
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 是 咖啡豆 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4660-4660 | CoffeeRobusta 是 咖啡豆 的 subclass |
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 |