No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4693-4693 |
JudeoBerberLanguage est une instance de AtlasLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4703-4703 |
TachelhitLanguage est une instance de AtlasLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4723-4723 |
TamazightLanguage est une instance de AtlasLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8898-8898 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8897-8897 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8896-8896 |
|