No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4625-4625 |
AwjilahLanguage est une instance de AwjilaSoknaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4635-4635 |
SawknahLanguage est une instance de AwjilaSoknaLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9396-9396 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9395-9395 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9394-9394 |
|