No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6984-7001 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9915-9915 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10554-10554 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10552-10552 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10550-10550 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10555-10555 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10553-10553 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10551-10551 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6983-6983 |
布列塔尼语言 是 brythonic语言 的 instance |