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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Phrase

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15302-15302 Phrase is disjointly decomposed into verb phrase, noun phrase, and prepositional phrase
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3544-3545
No TPTP formula. May not be expressible in strict first order. Merge.kif 15303-15304
No TPTP formula. May not be expressible in strict first order. Merge.kif 15301-15301 Phrase is a subclass of linguistic expression

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15327-15327 Noun phrase is a subclass of phrase
No TPTP formula. May not be expressible in strict first order. Merge.kif 15348-15348 Prepositional phrase is a subclass of phrase
No TPTP formula. May not be expressible in strict first order. Merge.kif 15316-15316 Verb phrase is a subclass of phrase
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1034-1034
No TPTP formula. May not be expressible in strict first order. english_format.kif 1280-1280
No TPTP formula. May not be expressible in strict first order. french_format.kif 712-712
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 244-244
No TPTP formula. May not be expressible in strict first order. terms-it.txt 247-247
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2395-2395
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 664-664
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 249-249
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 282-282
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 733-733
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 248-248

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24355-24355 The number 1 argument of grammatical relation is an instance of phrase

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15306-15314


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 is open source software produced by Articulate Software and its partners