| appearance as argument number 1 |
|
|
| (disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 15348-15348 | Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase |
| (documentation Phrase ChineseLanguage "这是一种 Language 的一组 Word， 它形成一个单位，即是 以那个 Language 表示一个意义。") | chinese_format.kif 3544-3545 | Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase |
| (documentation Phrase EnglishLanguage "A set of Words in a Language which form a unit, i.e. express a meaning in the Language.") | Merge.kif 15349-15350 | Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase |
| (subclass Phrase LinguisticExpression) | Merge.kif 15347-15347 | Phrase is a subclass of linguistic expression |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain grammaticalRelation 1 Phrase) | Mid-level-ontology.kif 24643-24643 | The number 1 argument of grammatical relation is an instance of phrase |
| antecedent |
|
|
| (=> (instance ?PHRASE Phrase) (exists (?PART1 ?PART2) (and (part ?PART1 ?PHRASE) (part ?PART2 ?PHRASE) (instance ?PART1 Word) (instance ?PART2 Word) (not (equal ?PART1 ?PART2))))) |
Merge.kif 15352-15360 |
|
|
|
|