No TPTP formula. May not be expressible in strict first order. | Languages.kif 14591-14591 | ChineseLanguage est une sous-classe de SinoTibetanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14592-14592 | ChineseLanguage est une sous-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14593-14593 | ChineseLanguage est une sous-classe de WrittenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14594-14594 | ChineseLanguage est une sous-classe de langage naturel |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 319-319 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 320-320 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55706-55706 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1371-1373 |