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

KB Term:  Term intersection
English Word: 

Sigma KEE - Phrase
Phrase(phrase)adjunct, affected_role, afternoon, agent, agentive_role, benefactive_role, beneficiary, case, catch_phrase, catchphrase, categorem, categoreme, clause, complement, construction, coordinate_clause, dangling_modifier, dependent, dependent_clause, descriptive_clause, expression, good_afternoon, good_morning, good_night, grammatical_case, grammatical_category, grammatical_construction, hello, hendiadys, hi, how-do-you-do, howdy, hullo, immediate_constituent, independent, independent_clause, instrument, instrumental_role, involution, main, main_clause, major_term, middle_term, minor_term, misconstruction, misplaced_modifier, morning, nihil_obstat, nonrestrictive_clause, open_sesame...

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


(subclass Phrase LinguisticExpression) Merge.kif 15593-15593 Phrase is a subclass of linguistic expression
(disjointDecomposition Phrase VerbPhrase NounPhrase PrepositionalPhrase) Merge.kif 15594-15594 Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
(documentation Phrase EnglishLanguage "A set of Words in a Language which form a unit, i.e. express a meaning in the Language.") Merge.kif 15595-15596 Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase

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


(subclass VerbPhrase Phrase) Merge.kif 15608-15608 Verb phrase is a subclass of phrase
(subclass NounPhrase Phrase) Merge.kif 15619-15619 Noun phrase is a subclass of phrase
(subclass PrepositionalPhrase Phrase) Merge.kif 15640-15640 Prepositional phrase is a subclass of phrase
(termFormat EnglishLanguage Phrase "phrase") english_format.kif 1284-1284 Prepositional phrase is a subclass of phrase

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


(domain grammaticalRelation 1 Phrase) Mid-level-ontology.kif 26654-26654 The number 1 argument of grammatical relation is an instance of phrase

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


(=>
    (instance ?PHRASE Phrase)
    (exists (?PART1 ?PART2)
        (and
            (part ?PART1 ?PHRASE)
            (part ?PART2 ?PHRASE)
            (instance ?PART1 Word)
            (instance ?PART2 Word)
            (not
                (equal ?PART1 ?PART2)))))		 Merge.kif 15598-15606 If X is an instance of phrase, then All of the following hold: (1) there exist Y (2) Z such that Y is a part of X (3) Z is a part of X (4) Y is an instance of word (5) Z is an instance of word (6) equal Y (7) Z


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