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

KB Term:  Term intersection
English Word: 

Sigma KEE - VerbPhrase
VerbPhrase(verb phrase)predicate, split_infinitive, verb_phrase

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


(subclass VerbPhrase Phrase) Merge.kif 15608-15608 Verb phrase is a subclass of phrase
(documentation VerbPhrase EnglishLanguage "A Phrase that has the same function as a Verb.") Merge.kif 15609-15610 Verb phrase is a subclass of phrase

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


(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15594-15594 Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(disjoint NounPhrase VerbPhrase) Merge.kif 15620-15620 Noun phrase is disjoint from verb phrase
(termFormat EnglishLanguage VerbPhrase "verb phrase") english_format.kif 1286-1286 Noun phrase is disjoint from verb phrase

antecedent
-------------------------


(=>
    (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

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


(=>
    (instance ?SENTENCE Sentence)
    (exists (?PHRASE1 ?PHRASE2)
        (and
            (instance ?PHRASE1 NounPhrase)
            (instance ?PHRASE2 VerbPhrase)
            (part ?PHRASE1 ?SENTENCE)
            (part ?PHRASE2 ?SENTENCE))))		 Merge.kif 15624-15631 If X is an instance of sentence, then there exist Y, Z such that Y is an instance of noun phrase, Z is an instance of verb phrase, Y is a part of X, and Z 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