No TPTP formula. May not be expressible in strict first order. | Food.kif 645-647 |
|
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. | Economy.kif 4624-4624 | Coffee bean is a subclass of seed |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4625-4625 | Coffee bean is a subclass of food from plant |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4636-4636 | Coffee arabica is a subclass of coffee bean |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4660-4660 | Coffee robusta is a subclass of coffee bean |