No TPTP formula. May not be expressible in strict first order. |
Food.kif 2343-2344 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 870-870 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 906-906 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 933-933 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2342-2342 |
Orange fruit is a subclass of food for animal |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2341-2341 |
Orange fruit is a subclass of citrus fruit |