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


KB Term:  Term intersection
English Word: 

  VerbPhrase

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners