No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6612-6612 |
AmarakaeriLanguage e' uma instancia de HarakmbetLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6624-6624 |
HuachipaeriLanguage e' uma instancia de HarakmbetLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27396-27396 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27395-27395 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 27394-27394 |
|