No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6201-6201 |
Edible nut is an industry product type of tree nut farming |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2085-2085 |
AlmondNut is a subclass of edible nut |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2419-2419 |
Cashew nut is a subclass of edible nut |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4482-4482 |
Macademia nut is a subclass of edible nut |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4518-4518 |
Palm oil nut is a subclass of edible nut |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4474-4474 |
Pecan nut is a subclass of edible nut |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4476-4476 |
Pine nut is a subclass of edible nut |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4484-4484 |
Shea nut is a subclass of edible nut |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4472-4472 |
Walnut is a subclass of edible nut |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21234-21234 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21233-21233 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21232-21232 |
|