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 1393-1393 Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1656-1657 Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order. Merge.kif 1395-1398 Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 243-245 Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 287-289 Linguistic expression is disjoint from icon
No TPTP formula. May not be expressible in strict first order. Merge.kif 1392-1392 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 2941-2941 Alpha numeric string is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Media.kif 2904-2904 Alphabetic string is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 1400-1400 Language is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15412-15412 Morpheme is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15439-15439 Phrase is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26511-26511 Postal address text is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15580-15580 Sentence is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 15497-15497 Text is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. Merge.kif 1538-1538 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 838-838 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. english_format.kif 878-878 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. french_format.kif 514-514 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 46-46 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. terms-it.txt 49-49 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2199-2199 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 466-466 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 81-81 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. terms-de.txt 340-340 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 535-535 Word is a subclass of linguistic expression
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 50-50 Word is a subclass of linguistic expression

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 4630-4630 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 4490-4490 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 13269-13275
No TPTP formula. May not be expressible in strict first order. Geography.kif 3113-3120
No TPTP formula. May not be expressible in strict first order. Merge.kif 15505-15510
No TPTP formula. May not be expressible in strict first order. Music.kif 1459-1472
No TPTP formula. May not be expressible in strict first order. Media.kif 3218-3224
No TPTP formula. May not be expressible in strict first order. Media.kif 3101-3103


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