No TPTP formula. May not be expressible in strict first order. |
Food.kif 1806-1807 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3213-3213 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3216-3216 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3215-3215 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2997-2997 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3214-3214 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31420-31420 |
roomTempState tea and liquid |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1805-1805 |
Tea is a subclass of beverage |