No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6984-7001 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9915-9915 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10554-10554 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10552-10552 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10550-10550 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10555-10555 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10553-10553 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10551-10551 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6983-6983 |
BretonLanguage e' uma instancia de BrythonicLanguage |