No TPTP formula. May not be expressible in strict first order. | Merge.kif 15301-15301 | 子類 Phrase and LinguisticExpression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15316-15316 | 子類 VerbPhrase and Phrase |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15327-15327 | 子類 NounPhrase and Phrase |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15348-15348 | 子類 PrepositionalPhrase and Phrase |