Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Verb

Sigma KEE - Verb
Verb(动词)

appearance as argument number 1
-------------------------


(documentation Verb ChineseLanguage "这是词类其中的一部分,它是习惯用于表示 ProcessWord 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 动词字词subclass

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 字词 详尽无遗地 partition名词, 动词, 形容词, 副词, 和 助词

consequent
-------------------------


(=>
    (instance ?PHRASE VerbPhrase)
    (exists (?VERB)
        (and
            (instance ?VERB Verb)
            (part ?VERB ?PHRASE))))
Merge.kif 15366-15371


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners