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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 14637-14638
(subclass Verb Word) Merge.kif 14636-14636

appearance as argument number 2

(termFormat ChineseLanguage Verb "动词") chinese_format.kif 1030-1030
(termFormat EnglishLanguage Verb "verb") english_format.kif 1272-1272

appearance as argument number 3

(partition Word Noun Verb Adjective Adverb ParticleWord) Merge.kif 14632-14632


    (instance ?PHRASE VerbPhrase)
    (exists (?VERB)
            (instance ?VERB Verb)
            (part ?VERB ?PHRASE))))
Merge.kif 14703-14708

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