Verb |
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 |
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 |
consequent |
(=> (instance ?PHRASE VerbPhrase) (exists (?VERB) (and (instance ?VERB Verb) (part ?VERB ?PHRASE)))) |
Merge.kif 15366-15371 |