|
|
   Phrase
|
|
|
| appearance as argument number 1 |
|
|
| (disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 15027-15027 | |
| (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 15028-15029 | |
| (subclass Phrase LinguisticExpression) | Merge.kif 15026-15026 |
| appearance as argument number 2 |
|
|
| (subclass NounPhrase Phrase) | Merge.kif 15052-15052 | |
| (subclass PrepositionalPhrase Phrase) | Merge.kif 15073-15073 | |
| (subclass VerbPhrase Phrase) | Merge.kif 15041-15041 | |
| (termFormat ChineseLanguage Phrase "短语") | chinese_format.kif 1034-1034 | |
| (termFormat EnglishLanguage Phrase "phrase") | english_format.kif 1280-1280 |
| appearance as argument number 3 |
|
|
| (domain grammaticalRelation 1 Phrase) | Mid-level-ontology.kif 23728-23728 |
| 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 15031-15039 |
|
|
|