No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13553-13553 |
ChipayaLanguage e' uma instancia de UruChipayaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13564-13564 |
UruLanguage e' uma instancia de UruChipayaLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60758-60758 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60757-60757 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 60756-60756 |
|