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 |
![]() |
![]() |