No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3078-3111 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6654-6654 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7157-7157 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7158-7158 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7159-7159 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3077-3077 |
Korean language is an instance of spoken human language |