LinguisticExpression - Sigma Knowledge base Browser

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

(disjoint LinguisticExpression Icon)	Merge.kif 1398-1398	Linguistic expression is disjoint from icon
(documentation LinguisticExpression ChineseLanguage "这是 ContentBearingPhysical 和语言有关联的子类本。注：这个 Class 涵盖 Language 和属于 Language 的元素，例如 Words 。")	chinese_format.kif 1656-1657	Linguistic expression is disjoint from icon
(documentation LinguisticExpression EnglishLanguage "This is the subclass of ContentBearingPhysical which are language-related. Note that this Class encompasses both Language and the the elements of Languages, e.g. Words.")	Merge.kif 1400-1403	Linguistic expression is disjoint from icon
(documentation LinguisticExpression JapaneseLanguage "これはの ContentBearingPhysical のサブクラスで、言語関連である。　注：このClass は、Language と Languages の要素の両方を含む。　例：Words。")	japanese_format.kif 243-245	Linguistic expression is disjoint from icon
(documentation LinguisticExpression SpanishLanguage "Esta es la subclase de ContentBearingPhysical que es relacionada con idiomas. Note que esta Class abarca ambos Language y los elementos de Languages, por ejemplo Words «palabras».")	spanish_format.kif 287-289	Linguistic expression is disjoint from icon
(subclass LinguisticExpression ContentBearingPhysical)	Merge.kif 1397-1397	Linguistic expression is a subclass of content bearing physical

appearance as argument number 2

(subclass AlphaNumericString LinguisticExpression)	Media.kif 2939-2939	Alpha numeric string is a subclass of linguistic expression
(subclass AlphabeticString LinguisticExpression)	Media.kif 2902-2902	Alphabetic string is a subclass of linguistic expression
(subclass Language LinguisticExpression)	Merge.kif 1405-1405	Language is a subclass of linguistic expression
(subclass Morpheme LinguisticExpression)	Merge.kif 15320-15320	Morpheme is a subclass of linguistic expression
(subclass Phrase LinguisticExpression)	Merge.kif 15347-15347	Phrase is a subclass of linguistic expression
(subclass PostalAddressText LinguisticExpression)	Mid-level-ontology.kif 25135-25135	Postal address text is a subclass of linguistic expression
(subclass Sentence LinguisticExpression)	Merge.kif 15488-15488	Sentence is a subclass of linguistic expression
(subclass Text LinguisticExpression)	Merge.kif 15405-15405	Text is a subclass of linguistic expression
(subclass Word LinguisticExpression)	Merge.kif 1543-1543	Word is a subclass of linguistic expression
(termFormat ChineseLanguage LinguisticExpression "语言式表达")	chinese_format.kif 838-838	Word is a subclass of linguistic expression
(termFormat EnglishLanguage LinguisticExpression "linguistic expression")	english_format.kif 878-878	Word is a subclass of linguistic expression
(termFormat FrenchLanguage LinguisticExpression "expression linguistique")	french_format.kif 514-514	Word is a subclass of linguistic expression
(termFormat Hindi LinguisticExpression "bhaashaa-sambandhI abhivyakti")	terms-hindi.txt 46-46	Word is a subclass of linguistic expression
(termFormat ItalianLanguage LinguisticExpression "EspressioneLinguistica")	terms-it.txt 49-49	Word is a subclass of linguistic expression
(termFormat JapaneseLanguage LinguisticExpression "言語表現")	japanese_format.kif 2199-2199	Word is a subclass of linguistic expression
(termFormat PortugueseLanguage LinguisticExpression "Expressao Linguistica")	portuguese_format.kif 466-466	Word is a subclass of linguistic expression
(termFormat cz LinguisticExpression "linguistic expression")	terms-cz.txt 81-81	Word is a subclass of linguistic expression
(termFormat ro LinguisticExpression "expresie lingvisticã")	relations-ro.kif 535-535	Word is a subclass of linguistic expression
(termFormat tg LinguisticExpression "hatol")	terms-tg.txt 50-50	Word is a subclass of linguistic expression

appearance as argument number 3

(domain expressedInLanguage 1 LinguisticExpression)	Merge.kif 4618-4618	The number 1 argument of expressed in language is an instance of linguistic expression
(domain representsInLanguage 1 LinguisticExpression)	Merge.kif 4478-4478	The number 1 argument of represents in language is an instance of linguistic expression

consequent

(=> (instance ?COMMUNICATE LinguisticCommunication) (exists (?OBJ) (and (represents ?COMMUNICATE ?OBJ) (instance ?OBJ LinguisticExpression) (patient ?COMMUNICATE ?OBJ))))	Merge.kif 13176-13182	If a process is an instance of linguistic communication, then there exists an entity such that the process expresses the entity and the entity is an instance of linguistic expression and the entity is a patient of the process
(=> (instance ?SIGNING SigningAnAgreement) (exists (?DOC ?TERMS) (and (instance ?DOC LinguisticExpression) (instance ?TERMS Agreement) (containsInformation ?DOC ?TERMS) (patient ?SIGNING ?DOC))))	Geography.kif 3125-3132	If a process is an instance of signing an agreement, then there exist a content bearing physical and a proposition such that the content bearing physical is an instance of linguistic expression and the proposition is an instance of agreement and the content bearing physical contains information the proposition and the content bearing physical is a patient of the process
(=> (instance ?TEXT Text) (exists (?PART) (and (part ?PART ?TEXT) (instance ?PART LinguisticExpression))))	Merge.kif 15413-15418	If an object is an instance of text, then there exists another object such that the other object is a part of the object and the other object is an instance of linguistic expression
(=> (originalExpressedInLanguage ?PROP ?LANG) (exists (?PHYS ?TIME) (and (instance ?PHYS LinguisticExpression) (representsInLanguage ?PHYS ?PROP ?LANG) (equal ?TIME (WhenFn ?PHYS)) (not (exists (?BEFORE ?OTHER) (and (instance ?OTHER LinguisticExpression) (represents ?OTHER ?PROP) (equal ?BEFORE (WhenFn ?OTHER)) (before ?BEFORE ?TIME)))))))	Music.kif 1457-1470	If a proposition was first expressed as a language, then there exist a linguistic expression and a time interval such that the linguistic expression is an instance of linguistic expression and the linguistic expression represents the proposition in the language the language and the time interval is equal to the time of existence of the linguistic expression and there don't exist another time interval and a physical such that the physical is an instance of linguistic expression and the physical expresses the proposition and the other time interval is equal to the time of existence of the physical and the other time interval happens before the time interval
(=> (subtitle ?STRING ?WORKTYPE ?LANGUAGE) (exists (?TITLE) (and (instance ?TITLE SymbolicString) (instance ?TITLE LinguisticExpression) (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))	Media.kif 3216-3222	If a symbolic string is a sub-title for a kind of content bearing physical in a language, then there exists another symbolic string such that the other symbolic string is an instance of symbolic string and the other symbolic string is an instance of linguistic expression and the title of a kind of content bearing physical in the language is the other symbolic string
(=> (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE) (instance ?STRING LinguisticExpression))	Media.kif 3099-3101	If the title of an entity-TYPE in a language is a symbolic string, then the symbolic string is an instance of linguistic expression

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