No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2362-2364 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11202-11202 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11201-11201 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11200-11200 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10058-10058 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2361-2361 |
基于伊比利亚语的克里奥尔语 是 克里奥尔语 的 subclass |