No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14656-14656 |
MongolianLanguage e' uma instancia de AltaicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5106-5106 |
TurkicLanguage e' uma sub-classe de AltaicLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6990-6990 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6989-6989 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6988-6988 |
|