No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3337-3340 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10609-10609 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10607-10607 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10611-10611 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10610-10610 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10608-10608 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9936-9936 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3336-3336 |
子類 中國藏語蒙古族混合語言 and 混合語言 |