| 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 | |
| (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 | |
| (subclass Phrase LinguisticExpression) | Merge.kif 15347-15347 | Phrase is a subclass of linguistic expression |
| appearance as argument number 2 |
|
|
| (subclass NounPhrase Phrase) | Merge.kif 15373-15373 | Noun phrase is a subclass of phrase |
| (subclass PrepositionalPhrase Phrase) | Merge.kif 15394-15394 | Prepositional phrase is a subclass of phrase |
| (subclass VerbPhrase Phrase) | Merge.kif 15362-15362 | Verb phrase is a subclass of phrase |
| (termFormat ChineseLanguage Phrase "短语") | chinese_format.kif 1034-1034 | |
| (termFormat EnglishLanguage Phrase "phrase") | english_format.kif 1280-1280 | |
| (termFormat FrenchLanguage Phrase "phrase") | french_format.kif 712-712 | |
| (termFormat Hindi Phrase "vaakyaansha") | terms-hindi.txt 244-244 | |
| (termFormat ItalianLanguage Phrase "Sintagma") | terms-it.txt 247-247 | |
| (termFormat JapaneseLanguage Phrase "句") | japanese_format.kif 2395-2395 | |
| (termFormat PortugueseLanguage Phrase "Frase") | portuguese_format.kif 664-664 | |
| (termFormat cb Phrase "mugbong pinulongan") | terms-cb.txt 249-249 | |
| (termFormat cz Phrase "phrase") | terms-cz.txt 282-282 | |
| (termFormat ro Phrase "expresie") | relations-ro.kif 733-733 | |
| (termFormat tg Phrase "Parirala") | terms-tg.txt 248-248 |
| appearance as argument number 3 |
|
|
| (domain grammaticalRelation 1 Phrase) | Mid-level-ontology.kif 24412-24412 | 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 |
|
|
|
|