No TPTP formula. May not be expressible in strict first order. |
Food.kif 3604-3605 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6978-6978 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8272-8272 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8273-8273 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8274-8274 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8275-8275 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31438-31438 |
roomTempState whiskey and liquid |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3606-3606 |
Whiskey is a subclass of distilled alcoholic beverage |