| Phrase | |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 14183-14183 | |
| (documentation Phrase ChineseLanguage "这是一种 Language 的一组 Word， 它形成一个单位，即是 以那个 Language 表示一个意义。") | chinese_format.kif 3544-3545 | |
| (documentation Phrase EnglishLanguage "A set of Words in a Language which form a unit, i.e. express a meaning in the Language.") | Merge.kif 14184-14185 | |
| (subclass Phrase LinguisticExpression) | Merge.kif 14182-14182 |
| appearance as argument number 2 |
|
|
| (subclass NounPhrase Phrase) | Merge.kif 14208-14208 | |
| (subclass PrepositionalPhrase Phrase) | Merge.kif 14229-14229 | |
| (subclass VerbPhrase Phrase) | Merge.kif 14197-14197 | |
| (termFormat ChineseLanguage Phrase "短语") | chinese_format.kif 1034-1034 | |
| (termFormat EnglishLanguage Phrase "phrase") | english_format.kif 1285-1285 |
| appearance as argument number 3 |
|
|
| (domain grammaticalRelation 1 Phrase) | Mid-level-ontology.kif 20594-20594 |
| 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 14187-14195 |
|
|
|