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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LinguisticExpression

Sigma KEE - LinguisticExpression
LinguisticExpression

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


(disjoint LinguisticExpression Icon) Merge.kif 1313-1313
(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 1315-1318
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1312-1312

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


(subclass AlphaNumericString LinguisticExpression) Media.kif 2921-2921
(subclass AlphabeticString LinguisticExpression) Media.kif 2884-2884
(subclass Language LinguisticExpression) Merge.kif 1320-1320
(subclass Morpheme LinguisticExpression) Merge.kif 14620-14620
(subclass Phrase LinguisticExpression) Merge.kif 14647-14647
(subclass PostalAddressText LinguisticExpression) Mid-level-ontology.kif 24052-24052
(subclass Sentence LinguisticExpression) Merge.kif 14788-14788
(subclass Text LinguisticExpression) Merge.kif 14705-14705
(subclass Word LinguisticExpression) Merge.kif 1458-1458
(termFormat ChineseLanguage LinguisticExpression "语言式表达") chinese_format.kif 838-838
(termFormat EnglishLanguage LinguisticExpression "linguistic expression") english_format.kif 878-878

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


(domain expressedInLanguage 1 LinguisticExpression) Merge.kif 4483-4483
(domain representsInLanguage 1 LinguisticExpression) Merge.kif 4354-4354

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


(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 12519-12525
(=>
    (instance ?SIGNING SigningAnAgreement)
    (exists (?DOC ?TERMS)
        (and
            (instance ?DOC LinguisticExpression)
            (instance ?TERMS Agreement)
            (containsInformation ?DOC ?TERMS)
            (patient ?SIGNING ?DOC))))
Geography.kif 3006-3013
(=>
    (instance ?TEXT Text)
    (exists (?PART)
        (and
            (part ?PART ?TEXT)
            (instance ?PART LinguisticExpression))))
Merge.kif 14713-14718
(=>
    (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 1450-1463
(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))
Media.kif 3216-3222
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3099-3101


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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