| VerbPhrase | |
| appearance as argument number 1 |
|
|
| (documentation VerbPhrase ChineseLanguage "这是有着和 Verb 一样功能的 Phrase。") | chinese_format.kif 3546-3546 | |
| (documentation VerbPhrase EnglishLanguage "A Phrase that has the same function as a Verb.") | Merge.kif 14195-14196 | |
| (subclass VerbPhrase Phrase) | Merge.kif 14194-14194 |
| appearance as argument number 2 |
|
|
| (disjoint NounPhrase VerbPhrase) | Merge.kif 14206-14206 | |
| (disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 14180-14180 | |
| (termFormat ChineseLanguage VerbPhrase "动词短语") | chinese_format.kif 1035-1035 | |
| (termFormat EnglishLanguage VerbPhrase "verb phrase") | english_format.kif 1287-1287 |
| antecedent |
|
|
| (=> (instance ?PHRASE VerbPhrase) (exists (?VERB) (and (instance ?VERB Verb) (part ?VERB ?PHRASE)))) |
Merge.kif 14198-14203 |
| consequent |
|
|
| (=> (instance ?SENTENCE Sentence) (exists (?PHRASE1 ?PHRASE2) (and (instance ?PHRASE1 NounPhrase) (instance ?PHRASE2 VerbPhrase) (part ?PHRASE1 ?SENTENCE) (part ?PHRASE2 ?SENTENCE)))) |
Merge.kif 14210-14217 |
|
|
|