No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5691-5691 |
AghuTharnggaluLanguage est une instance de RarmulPamaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5697-5697 |
ThaypanLanguage est une instance de RarmulPamaLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48788-48788 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48787-48787 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 48786-48786 |
|