No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11685-11685 |
FasLanguage e' uma instancia de KwomtariGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11694-11694 |
GuriasoLanguage e' uma instancia de KwomtariGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11701-11701 |
KwomtariLanguage e' uma instancia de KwomtariGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11717-11717 |
PyuLanguage e' uma instancia de KwomtariGroupLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32947-32947 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32946-32946 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32945-32945 |
|