No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11043-11043 |
KashubianLanguage e' uma instancia de LechiticLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11057-11057 |
PolabianLanguage e' uma instancia de LechiticLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11063-11063 |
PolishLanguage e' uma instancia de LechiticLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33731-33731 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33730-33730 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 33729-33729 |
|