No TPTP formula. May not be expressible in strict first order. | Languages.kif 14591-14591 | 子類 ChineseLanguage and 中西藏語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14592-14592 | 子類 ChineseLanguage and 口語人類語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14593-14593 | 子類 ChineseLanguage and WrittenHumanLanguage |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14594-14594 | 子類 ChineseLanguage and NaturalLanguage |
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 |