No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10209-10209 |
AsturianLanguage e' uma instancia de AsturoLeoneseLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10255-10255 |
MirandaDoDouroLanguage e' uma instancia de AsturoLeoneseLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8832-8832 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8831-8831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8830-8830 |
|