No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14122-14122 |
MinicaHuitotoLanguage e' uma instancia de MinicaMuruiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14134-14134 |
MuruiHuitotoLanguage e' uma instancia de MinicaMuruiLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37859-37859 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37858-37858 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37857-37857 |
|