No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9428-9428 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8597-8597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9426-9426 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9427-9427 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9429-9429 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6189-6189 |
Millet grain is an industry product type of millet farming |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6186-6186 |
Millet farming is an instance of industry attribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6187-6187 |
Millet farming is a subattribute of cereal grain farming |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6188-6188 |
Millet farming is a subattribute of other grain farming |