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 | CoffeeBean est une sous-classe de FoodFromPlant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4624-4624 | CoffeeBean est une sous-classe de Seed |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 634-634 | initialPart Coffee and CoffeeBean |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4636-4636 | CoffeeArabica est une sous-classe de CoffeeBean |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4660-4660 | CoffeeRobusta est une sous-classe de CoffeeBean |
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 |
|