No TPTP formula. May not be expressible in strict first order. | Merge.kif 1397-1397 | 子類 LinguisticExpression and 內容承載物理 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24846-24846 | 子類 PostalAddressText and LinguisticExpression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1405-1405 | 子類 Language and LinguisticExpression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1543-1543 | 子類 Word and LinguisticExpression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15296-15296 | 子類 Morpheme and LinguisticExpression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15323-15323 | 子類 Phrase and LinguisticExpression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15381-15381 | 子類 Text and LinguisticExpression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15464-15464 | 子類 Sentence and LinguisticExpression |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2902-2902 | 子類 AlphabeticString and LinguisticExpression |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2939-2939 | 子類 AlphaNumericString and LinguisticExpression |