No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11584-11584 |
KanamariLanguage e' uma instancia de KatukinanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11592-11592 |
KatawixiLanguage e' uma instancia de KatukinanLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11599-11599 |
KatukinaLanguage e' uma instancia de KatukinanLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32239-32239 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32238-32238 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32237-32237 |
|