No TPTP formula. May not be expressible in strict first order. | Merge.kif 1397-1397 | 语言式表达 是 内容承载物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24846-24846 | PostalAddressText 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1405-1405 | 语言 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1543-1543 | 字词 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15296-15296 | 词素 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15323-15323 | 短语 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15381-15381 | 文本 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15464-15464 | 句子 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2902-2902 | AlphabeticString 是 语言式表达 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2939-2939 | AlphaNumericString 是 语言式表达 的 subclass |
![]() |