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 1393-1393 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 1395-1398 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 1392-1392 Linguistic expression is a subclass of content bearing physical

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


(subclass AlphaNumericString LinguisticExpression) Media.kif 2941-2941 Alpha numeric string is a subclass of linguistic expression
(subclass AlphabeticString LinguisticExpression) Media.kif 2904-2904 Alphabetic string is a subclass of linguistic expression
(subclass Language LinguisticExpression) Merge.kif 1400-1400 Language is a subclass of linguistic expression
(subclass Morpheme LinguisticExpression) Merge.kif 15412-15412 Morpheme is a subclass of linguistic expression
(subclass Phrase LinguisticExpression) Merge.kif 15439-15439 Phrase is a subclass of linguistic expression
(subclass PostalAddressText LinguisticExpression) Mid-level-ontology.kif 26528-26528 Postal address text is a subclass of linguistic expression
(subclass Sentence LinguisticExpression) Merge.kif 15580-15580 Sentence is a subclass of linguistic expression
(subclass Text LinguisticExpression) Merge.kif 15497-15497 Text is a subclass of linguistic expression
(subclass Word LinguisticExpression) Merge.kif 1538-1538 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 de LinguisticExpression "linguistischer Ausdruck") terms-de.txt 340-340 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 4630-4630 The number 1 argument of expressed in language is an instance of linguistic expression
(domain representsInLanguage 1 LinguisticExpression) Merge.kif 4490-4490 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 13269-13275
(=>
    (instance ?SIGNING SigningAnAgreement)
    (exists (?DOC ?TERMS)
        (and
            (instance ?DOC LinguisticExpression)
            (instance ?TERMS Agreement)
            (containsInformation ?DOC ?TERMS)
            (patient ?SIGNING ?DOC))))		 Geography.kif 3113-3120
(=>
    (instance ?TEXT Text)
    (exists (?PART)
        (and
            (part ?PART ?TEXT)
            (instance ?PART LinguisticExpression))))		 Merge.kif 15505-15510
(=>
    (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 1459-1472
(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))		 Media.kif 3218-3224
(=>
    (titleInLanguage ?STRING ?CBP_TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))		 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