No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8228-8228 |
LowFranconianLanguage est une sous-classe de LowSaxonLowFranconianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8333-8333 |
LowSaxonGroupLanguage est une sous-classe de LowSaxonLowFranconianLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35225-35225 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35224-35224 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35223-35223 |
|