No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9757-9757 |
CajunFrenchLanguage est une instance de FrenchGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9777-9777 |
FrenchLanguage est une instance de FrenchGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9904-9904 |
PicardLanguage est une instance de FrenchGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9930-9930 |
ZarphaticLanguage est une instance de FrenchGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24962-24962 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24961-24961 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24960-24960 |
|