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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15254-15255
(subclass Verb Word) Merge.kif 15253-15253

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 15249-15249

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


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


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



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