No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14423-14423 |
FaroeseLanguage est une instance de NorthGermanicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14436-14436 |
IcelandicLanguage est une instance de NorthGermanicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7136-7136 |
EastScandinavianLanguage est une sous-classe de NorthGermanicLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41183-41183 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41182-41182 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41181-41181 |
|