| appearance as argument number 1 |
|
|
| (disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 15376-15376 | 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 15377-15378 | Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase |
| (subclass Phrase LinguisticExpression) | Merge.kif 15375-15375 | 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 25474-25474 | 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 15380-15388 |
|
|
|
|