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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LinguisticExpression

Sigma KEE - LinguisticExpression
LinguisticExpression(linguistic expression)Americanism, Anglicism, Briticism, Britishism, Gallicism, accusative, acronymic, acronymous, adscript, adverbial, allographic, allusive, ambiguity, ambiguous, amphibology, amphiboly, anacoluthic, anaphoric_relation, anatomical, anatomical_reference, antepenult, antepenultima, antepenultimate, appositional, appositive, argot, boilerplate, cant, clausal, cognate, collocation, colloquialism, conjunction, constituent, contrastive, coordinating, coordinating_conjunction, coordinative, copperplate, copulative, copulative_conjunction, coreference, countersign, cross-linguistic, cryptogamic, cryptogamous, cursive, cursive_script, dead_metaphor, denotative...

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1398-1398 Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1656-1657
No TPTP formula. May not be expressible in strict first order. Merge.kif 1400-1403
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 243-245
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 287-289
No TPTP formula. May not be expressible in strict first order. Merge.kif 1397-1397 Linguistic expression is a subclass of content bearing physical

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2939-2939 Alpha numeric string is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Media.kif 2902-2902 Alphabetic string is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 1405-1405 Language is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15274-15274 Morpheme is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15301-15301 Phrase is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24847-24847 Postal address text is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15442-15442 Sentence is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15359-15359 Text is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 1543-1543 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 838-838
No TPTP formula. May not be expressible in strict first order. english_format.kif 878-878
No TPTP formula. May not be expressible in strict first order. french_format.kif 514-514
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 46-46
No TPTP formula. May not be expressible in strict first order. terms-it.txt 49-49
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2199-2199
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 466-466
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 81-81
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 535-535
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 50-50

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4617-4617 The number 1 argument of expressed in language is an instance of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 4477-4477 The number 1 argument of represents in language is an instance of linguistic expression

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 13130-13136
No TPTP formula. May not be expressible in strict first order. Geography.kif 3125-3132
No TPTP formula. May not be expressible in strict first order. Merge.kif 15367-15372
No TPTP formula. May not be expressible in strict first order. Music.kif 1457-1470
No TPTP formula. May not be expressible in strict first order. Media.kif 3234-3240
No TPTP formula. May not be expressible in strict first order. Media.kif 3117-3119


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