No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7660-7660 |
EasternFrisianLanguage e' uma instancia de FrisianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7675-7675 |
NorthernFrisianLanguage e' uma instancia de FrisianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7701-7701 |
WesternFrisianLanguage e' uma instancia de FrisianLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25064-25064 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25063-25063 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25062-25062 |
|