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 1344-1344 语言式表达 和 % 2 是 disjoint
(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 1346-1349
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1343-1343 语言式表达内容承载物理subclass

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


(subclass AlphaNumericString LinguisticExpression) Media.kif 2927-2927 AlphaNumericString语言式表达subclass
(subclass AlphabeticString LinguisticExpression) Media.kif 2890-2890 AlphabeticString语言式表达subclass
(subclass Language LinguisticExpression) Merge.kif 1351-1351 语言语言式表达subclass
(subclass Morpheme LinguisticExpression) Merge.kif 15005-15005 词素语言式表达subclass
(subclass Phrase LinguisticExpression) Merge.kif 15032-15032 短语语言式表达subclass
(subclass PostalAddressText LinguisticExpression) Mid-level-ontology.kif 24221-24221 PostalAddressText语言式表达subclass
(subclass Sentence LinguisticExpression) Merge.kif 15173-15173 句子语言式表达subclass
(subclass Text LinguisticExpression) Merge.kif 15090-15090 文本语言式表达subclass
(subclass Word LinguisticExpression) Merge.kif 1489-1489 字词语言式表达subclass
(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 4527-4527 所表达的语言 的 1 数量 是 语言式表达instance
(domain representsInLanguage 1 LinguisticExpression) Merge.kif 4387-4387 所表示的语言 的 1 数量 是 语言式表达instance

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


(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 12890-12896
(=>
    (instance ?SIGNING SigningAnAgreement)
    (exists (?DOC ?TERMS)
        (and
            (instance ?DOC LinguisticExpression)
            (instance ?TERMS Agreement)
            (containsInformation ?DOC ?TERMS)
            (patient ?SIGNING ?DOC))))
Geography.kif 3047-3054
(=>
    (instance ?TEXT Text)
    (exists (?PART)
        (and
            (part ?PART ?TEXT)
            (instance ?PART LinguisticExpression))))
Merge.kif 15098-15103
(=>
    (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 3222-3228
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3105-3107


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