No TPTP formula. May not be expressible in strict first order. | Merge.kif 15301-15301 | Phrase is a subclass of linguistic expression |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15316-15316 | Verb phrase is a subclass of phrase |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15327-15327 | Noun phrase is a subclass of phrase |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15348-15348 | Prepositional phrase is a subclass of phrase |