No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8512-8514 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11097-11097 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11099-11099 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11101-11101 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11102-11102 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10038-10038 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11100-11100 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11098-11098 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11096-11096 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8511-8511 |
Greek group language is a subclass of indo european language |