| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1530-1535 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10900-10900 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9992-9992 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10893-10893 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10898-10898 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10897-10897 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10899-10899 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10902-10902 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10894-10894 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10901-10901 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10895-10895 |
|
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1529-1529 |
Dutch creole language is an instance of dutch based creole language |
more pictures...