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 14135-14136
(subclass Verb Word) Merge.kif 14134-14134

appearance as argument number 2
-------------------------


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

appearance as argument number 3
-------------------------


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

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


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


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