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 15338-15338 | 子類 VerbPhrase and Phrase |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15349-15349 | 子類 NounPhrase and Phrase |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15370-15370 | 子類 PrepositionalPhrase and Phrase |