No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7660-7660 |
EasternFrisianLanguage est une instance de FrisianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7675-7675 |
NorthernFrisianLanguage est une instance de FrisianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7701-7701 |
WesternFrisianLanguage est une instance 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 |
|