No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6973-6974 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11231-11231 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11228-11228 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11230-11230 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11227-11227 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10066-10066 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11229-11229 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6972-6972 |
InsularCelticLanguage e' uma sub-classe de CelticLanguage |