No TPTP formula. May not be expressible in strict first order. | Languages.kif 14591-14591 | ChineseLanguage e' uma sub-classe de SinoTibetanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14592-14592 | ChineseLanguage e' uma sub-classe de SpokenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14593-14593 | ChineseLanguage e' uma sub-classe de WrittenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14594-14594 | ChineseLanguage e' uma sub-classe de Linguagem Natural |
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 55704-55704 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1371-1373 |