No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13860-13860 |
KaoLanguage est une instance de KaoRiverLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13871-13871 |
ModoleLanguage est une instance de KaoRiverLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13881-13881 |
PaguLanguage est une instance de KaoRiverLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32113-32113 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32112-32112 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32111-32111 |
|