VerbPhrase(SintagmaVerbale) |
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 15363-15364 | |
(subclass VerbPhrase Phrase) | Merge.kif 15362-15362 | SintagmaVerbale è una sottoclasse di Sintagma |
appearance as argument number 2 |
(disjoint NounPhrase VerbPhrase) | Merge.kif 15374-15374 | SintagmaNominale è disgiunto da SintagmaVerbale |
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 15348-15348 | Sintagma è scomposto disgiuntivamente in SintagmaVerbale, SintagmaNominale, + SintagmaPreposizionale |
(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 15366-15371 |
consequent |
(=> (instance ?SENTENCE Sentence) (exists (?PHRASE1 ?PHRASE2) (and (instance ?PHRASE1 NounPhrase) (instance ?PHRASE2 VerbPhrase) (part ?PHRASE1 ?SENTENCE) (part ?PHRASE2 ?SENTENCE)))) |
Merge.kif 15378-15385 |