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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1282-1282 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 1284-1287
No TPTP formula. May not be expressible in strict first order. Merge.kif 1281-1281 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 2909-2909 AlphaNumericString is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Media.kif 2872-2872 AlphabeticString is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 1289-1289 Language is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 14155-14155 Morpheme is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 14182-14182 Phrase is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21084-21084 PostalAddressText is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 14323-14323 Sentence is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 14240-14240 Text is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 1423-1423 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 883-883

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4445-4445 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 4316-4316 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 12215-12221
No TPTP formula. May not be expressible in strict first order. Geography.kif 3006-3013
No TPTP formula. May not be expressible in strict first order. Merge.kif 14248-14253
No TPTP formula. May not be expressible in strict first order. Music.kif 1449-1462
No TPTP formula. May not be expressible in strict first order. Media.kif 3204-3210
No TPTP formula. May not be expressible in strict first order. Media.kif 3087-3089


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