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 |
子類 基於伊比利亞語的克里奧爾語 and 克里奧爾語 |