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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LinguisticExpression
LinguisticExpression

appearance as argument number 1
-------------------------


(disjoint LinguisticExpression Icon) Merge.kif 1279-1279 disjoint LinguisticExpression and 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 1281-1284
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1278-1278 subclass LinguisticExpression and ContentBearingPhysical

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


(subclass AlphaNumericString LinguisticExpression) Media.kif 2909-2909 subclass AlphaNumericString and LinguisticExpression
(subclass AlphabeticString LinguisticExpression) Media.kif 2872-2872 subclass AlphabeticString and LinguisticExpression
(subclass Language LinguisticExpression) Merge.kif 1286-1286 subclass Language and LinguisticExpression
(subclass Morpheme LinguisticExpression) Merge.kif 14103-14103 subclass Morpheme and LinguisticExpression
(subclass Phrase LinguisticExpression) Merge.kif 14130-14130 subclass Phrase and LinguisticExpression
(subclass PostalAddressText LinguisticExpression) Mid-level-ontology.kif 22706-22706 subclass PostalAddressText and LinguisticExpression
(subclass Sentence LinguisticExpression) Merge.kif 14271-14271 subclass Sentence and LinguisticExpression
(subclass Text LinguisticExpression) Merge.kif 14188-14188 subclass Text and LinguisticExpression
(subclass Word LinguisticExpression) Merge.kif 1419-1419 subclass Word and LinguisticExpression
(termFormat ChineseLanguage LinguisticExpression "语言式表达") chinese_format.kif 838-838
(termFormat EnglishLanguage LinguisticExpression "linguistic expression") english_format.kif 883-883

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


(domain expressedInLanguage 1 LinguisticExpression) Merge.kif 4400-4400 domain expressedInLanguage, 1 and LinguisticExpression
(domain representsInLanguage 1 LinguisticExpression) Merge.kif 4273-4273 domain representsInLanguage, 1 and LinguisticExpression

consequent
-------------------------


(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))		 Merge.kif 12163-12169
(=>
    (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 14196-14201
(=>
    (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