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 15324-15324 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 15325-15326
No TPTP formula. May not be expressible in strict first order. Merge.kif 15323-15323 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 15349-15349 Noun phrase is a subclass of phrase
No TPTP formula. May not be expressible in strict first order. Merge.kif 15370-15370 Prepositional phrase is a subclass of phrase
No TPTP formula. May not be expressible in strict first order. Merge.kif 15338-15338 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 24354-24354 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 15328-15336


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