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


KB Term:  Term intersection
English Word: 

Sigma KEE - Verb
Verb(verb)active, aorist, aoristic, aspectual, auxiliary_verb, conjugation, copula, copular, copulative, declarative, doubly_transitive_verb, doubly_transitive_verb_form, dynamic, finite, frequentative, future, future_tense, gerundial, historical_present, imperative, indicative, infinite, infinitival, infinitive, interrogative, intransitive, intransitive_verb, intransitive_verb_form, intransitively, linking_verb, modal, modal_auxiliary, modal_auxiliary_verb, modal_verb, non-finite, optative, participial, participle, passive, past, past_participle, past_tense, perfect_participle, phrasal_verb, pluperfect, present, present_participle, present_tense, reflexive_verb, stative...

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


(subclass Verb Word) Merge.kif 15545-15545 Verb is a subclass of word
(documentation Verb EnglishLanguage "One of the parts of speech. The Class of Words that conventionally denote Processes.") Merge.kif 15546-15547 Verb is a subclass of word

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


(termFormat EnglishLanguage Verb "verb") english_format.kif 1276-1276

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


(partition Word Noun Verb Adjective Adverb ParticleWord) Merge.kif 15541-15541 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word

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


(=>
    (instance ?PHRASE VerbPhrase)
    (exists (?VERB)
        (and
            (instance ?VERB Verb)
            (part ?VERB ?PHRASE))))
Merge.kif 15612-15617 If X is an instance of verb phrase, then there exists Y such that Y is an instance of verb and Y is a part of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners