| appearance as argument number 1 |
|
|
| (documentation Verb ChineseLanguage "这是词类其中的一部分，它是习惯用于表示 Process 的 Word Class。") | chinese_format.kif 3533-3534 | |
| (documentation Verb EnglishLanguage "One of the parts of speech. The Class of Words that conventionally denote Processes.") | Merge.kif 15300-15301 | |
| (subclass Verb Word) | Merge.kif 15299-15299 | Verb is a subclass of word |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Verb "动词") | chinese_format.kif 1030-1030 | |
| (termFormat EnglishLanguage Verb "verb") | english_format.kif 1272-1272 | |
| (termFormat FrenchLanguage Verb "verbe") | french_format.kif 708-708 | |
| (termFormat Hindi Verb "kriyaa") | terms-hindi.txt 239-239 | |
| (termFormat ItalianLanguage Verb "Verbo") | terms-it.txt 242-242 | |
| (termFormat JapaneseLanguage Verb "動詞") | japanese_format.kif 2391-2391 | |
| (termFormat PortugueseLanguage Verb "Verbo") | portuguese_format.kif 660-660 | |
| (termFormat cb Verb "berbo") | terms-cb.txt 244-244 | |
| (termFormat cz Verb "verb") | terms-cz.txt 277-277 | |
| (termFormat ro Verb "verb") | relations-ro.kif 729-729 | |
| (termFormat tg Verb "pandiwa") | terms-tg.txt 243-243 |
| appearance as argument number 3 |
|
|
| (partition Word Noun Verb Adjective Adverb ParticleWord) | Merge.kif 15295-15295 | Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word |
| consequent |
|
|
| (=> (instance ?PHRASE VerbPhrase) (exists (?VERB) (and (instance ?VERB Verb) (part ?VERB ?PHRASE)))) |
Merge.kif 15366-15371 |
|
|
|
|