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 威士忌酒 and 液體 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3606-3606 |
子類 威士忌酒 and 蒸餾酒精飲料 |