No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11311-11313 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11252-11252 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11253-11253 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10075-10075 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11251-11251 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11248-11248 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11250-11250 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11249-11249 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11310-11310 |
子類 日本語言 and 口語人類語言 |