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 |
橙色水果 是 food for 动物 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2341-2341 |
橙色水果 是 柑橘类水果 的 subclass |