No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8268-8293 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5971-5971 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6406-6406 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6412-6412 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6407-6407 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6408-6408 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6413-6413 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6409-6409 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6410-6410 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8267-8267 |
Dutch language is an instance of low franconian language |