| 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 15455-15456 | |
| (subclass VerbPhrase Phrase) | Merge.kif 15454-15454 |
| appearance as argument number 2 |
|
|
| (disjoint NounPhrase VerbPhrase) | Merge.kif 15466-15466 | |
| (disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) | Merge.kif 15440-15440 | |
| (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 de VerbPhrase "Verbphrase") | terms-de.txt 542-542 | |
| (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 15458-15463 |
| consequent |
|
|
| (=> (instance ?SENTENCE Sentence) (exists (?PHRASE1 ?PHRASE2) (and (instance ?PHRASE1 NounPhrase) (instance ?PHRASE2 VerbPhrase) (part ?PHRASE1 ?SENTENCE) (part ?PHRASE2 ?SENTENCE)))) |
Merge.kif 15470-15477 |
|
|
|