No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4620-4620 |
AwjilaSoknaLanguage est une sous-classe de EasternBerberLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4642-4642 |
SiwaGroupLanguage est une sous-classe de EasternBerberLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20868-20868 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20867-20867 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20866-20866 |
|