No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14656-14656 |
MongolianLanguage est une instance de AltaicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5106-5106 |
TurkicLanguage est une sous-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 |
|