VerbPhrase(verb phrase) | predicate, split_infinitive, verb_phrase |
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 15339-15340 | |
(subclass VerbPhrase Phrase) | Merge.kif 15338-15338 | Verb phrase is a subclass of phrase |
appearance as argument number 2 |
(disjoint NounPhrase VerbPhrase) | Merge.kif 15350-15350 | Noun phrase is disjoint from verb phrase |
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 15324-15324 | Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase |
(termFormat ChineseLanguage VerbPhrase "动词短语") | chinese_format.kif 1035-1035 | |
(termFormat EnglishLanguage VerbPhrase "verb phrase") | english_format.kif 1282-1282 | |
(termFormat FrenchLanguage VerbPhrase "syntagme verbal") | french_format.kif 713-713 | |
(termFormat Hindi VerbPhrase "kriyaa vaakyaansha") | terms-hindi.txt 245-245 | |
(termFormat ItalianLanguage VerbPhrase "SintagmaVerbale") | terms-it.txt 248-248 | |
(termFormat JapaneseLanguage VerbPhrase "動詞句") | japanese_format.kif 2396-2396 | |
(termFormat PortugueseLanguage VerbPhrase "Sintagma Verbal") | portuguese_format.kif 665-665 | |
(termFormat cb VerbPhrase " berbong mugbong pinulongan") | terms-cb.txt 250-250 | |
(termFormat cz VerbPhrase "verb phrase") | terms-cz.txt 283-283 | |
(termFormat ro VerbPhrase "grup verbal") | relations-ro.kif 734-734 | |
(termFormat tg VerbPhrase "Pariralang Pandiwa") | terms-tg.txt 249-249 |
antecedent |
(=> (instance ?PHRASE VerbPhrase) (exists (?VERB) (and (instance ?VERB Verb) (part ?VERB ?PHRASE)))) |
Merge.kif 15342-15347 |
|
consequent |
(=> (instance ?SENTENCE Sentence) (exists (?PHRASE1 ?PHRASE2) (and (instance ?PHRASE1 NounPhrase) (instance ?PHRASE2 VerbPhrase) (part ?PHRASE1 ?SENTENCE) (part ?PHRASE2 ?SENTENCE)))) |
Merge.kif 15354-15361 |
|