No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14644-14644 |
LaoLanguage e' uma instancia de TaiKadaiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14686-14686 |
ThaiLanguage e' uma instancia de TaiKadaiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14697-14697 |
ZhuangLanguage e' uma instancia de TaiKadaiLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56763-56763 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56762-56762 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56761-56761 |
|