No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4122-4123 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8625-8625 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9485-9485 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9486-9486 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4124-4124 |
%每个 燕麦粒 是 OatGrass 的 initially part |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4121-4121 |
燕麦粒 是 谷物 的 subclass |