No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7225-7226 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10277-10277 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11916-11916 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11912-11912 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11913-11913 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11915-11915 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11920-11920 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11919-11919 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11918-11918 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11917-11917 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11914-11914 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7224-7224 |
Swedish group language is a subclass of danish swedish language |