No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6966-6968 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10603-10603 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9931-9931 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10601-10601 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10602-10602 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10599-10599 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6965-6965 |
子類 凱爾特語 and 印度歐洲語言 |