No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13860-13860 |
KaoLanguage e' uma instancia de KaoRiverLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13871-13871 |
ModoleLanguage e' uma instancia de KaoRiverLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13881-13881 |
PaguLanguage e' uma instancia 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 |
|