No TPTP formula. May not be expressible in strict first order. |
Food.kif 2311-2311 |
Every flesh or pulp is initially part of a fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2596-2596 |
Every juice is initially part of a fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2297-2297 |
Every peel or rind is initially part of a fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2391-2391 |
Broccoli is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4470-4470 |
Edible nut is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2175-2175 |
Fruit is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4486-4486 |
Groundnut is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2154-2154 |
Herb is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4336-4336 |
Legume is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2684-2684 |
Mushroom is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4287-4287 |
Root vegetable is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3358-3358 |
Scallion is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4706-4706 |
Tea plant aerial part is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4206-4206 |
Vegetable is a subclass of fruit or vegetable |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1014-1014 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1240-1240 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 692-692 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 223-223 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 226-226 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2375-2375 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 644-644 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 261-261 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 713-713 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 227-227 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |