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 1284-1284 Linguistic expression is disjoint from icon
(documentation LinguisticExpression ChineseLanguage "这是 ContentBearingPhysical 和语言有关联的子类本。 注:这个 Class 涵盖 Language 和属于 Language 的元素,例如 Words 。") chinese_format.kif 1656-1657
(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 1286-1289
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1283-1283 Linguistic expression is a subclass of content bearing physical

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


(subclass AlphaNumericString LinguisticExpression) Media.kif 2909-2909 AlphaNumericString is a subclass of linguistic expression
(subclass AlphabeticString LinguisticExpression) Media.kif 2872-2872 AlphabeticString is a subclass of linguistic expression
(subclass Language LinguisticExpression) Merge.kif 1291-1291 Language is a subclass of linguistic expression
(subclass Morpheme LinguisticExpression) Merge.kif 14002-14002 Morpheme is a subclass of linguistic expression
(subclass Phrase LinguisticExpression) Merge.kif 14029-14029 Phrase is a subclass of linguistic expression
(subclass PostalAddressText LinguisticExpression) Mid-level-ontology.kif 22642-22642 PostalAddressText is a subclass of linguistic expression
(subclass Sentence LinguisticExpression) Merge.kif 14170-14170 Sentence is a subclass of linguistic expression
(subclass Text LinguisticExpression) Merge.kif 14087-14087 Text is a subclass of linguistic expression
(subclass Word LinguisticExpression) Merge.kif 1422-1422 Word is a subclass of linguistic expression
(termFormat ChineseLanguage LinguisticExpression "语言式表达") chinese_format.kif 838-838 "语言式表达" is the printable form of linguistic expression in ChineseLanguage
(termFormat EnglishLanguage LinguisticExpression "linguistic expression") english_format.kif 883-883 "linguistic expression" is the printable form of linguistic expression in english language

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


(domain expressedInLanguage 1 LinguisticExpression) Merge.kif 4300-4300 The number 1 argument of expressed in language is an instance of linguistic expression
(domain representsInLanguage 1 LinguisticExpression) Merge.kif 4173-4173 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 12062-12068
(=>
    (instance ?SIGNING SigningAnAgreement)
    (exists (?DOC ?TERMS)
        (and
            (instance ?DOC LinguisticExpression)
            (instance ?TERMS Agreement)
            (containsInformation ?DOC ?TERMS)
            (patient ?SIGNING ?DOC))))
Geography.kif 2984-2991
(=>
    (instance ?TEXT Text)
    (exists (?PART)
        (and
            (part ?PART ?TEXT)
            (instance ?PART LinguisticExpression))))
Merge.kif 14095-14100
(=>
    (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 1449-1462
(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))
Media.kif 3202-3208
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3085-3087


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners