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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Surrounded

 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 15348-15348 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 15349-15350
No TPTP formula. May not be expressible in strict first order. Merge.kif 15347-15347 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 15373-15373 Noun phrase is a subclass of phrase
No TPTP formula. May not be expressible in strict first order. Merge.kif 15394-15394 Prepositional phrase is a subclass of phrase
No TPTP formula. May not be expressible in strict first order. Merge.kif 15362-15362 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 24412-24412 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 15352-15360


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