No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8679-8681 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11112-11112 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11117-11117 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11116-11116 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11114-11114 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11115-11115 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8678-8678 |
古吉拉特团体语言 是 中区印度雅利安语 的 subclass |