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 1408-1408 语言式表达 和 % 2 是 disjoint
(documentation LinguisticExpression ChineseLanguage "这是 ContentBearingPhysical 和语言有关联的子类本。 注:这个 Class 涵盖 Language 和属于 Language 的元素,例如 Words 。") chinese_format.kif 1656-1657 语言式表达 和 % 2 是 disjoint
(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 1410-1413 语言式表达 和 % 2 是 disjoint
(documentation LinguisticExpression JapaneseLanguage "これはの ContentBearingPhysical の サブクラスで、言語関連である。 注:このClass は、LanguageLanguages の要素の両方を含 む。 例:Words。") japanese_format.kif 243-245 语言式表达 和 % 2 是 disjoint
(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 语言式表达 和 % 2 是 disjoint
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1407-1407 语言式表达内容承载物理subclass

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


(subclass AlphaNumericString LinguisticExpression) Media.kif 2941-2941 AlphaNumericString语言式表达subclass
(subclass AlphabeticString LinguisticExpression) Media.kif 2904-2904 AlphabeticString语言式表达subclass
(subclass Language LinguisticExpression) Merge.kif 1415-1415 语言语言式表达subclass
(subclass Morpheme LinguisticExpression) Merge.kif 15427-15427 词素语言式表达subclass
(subclass Phrase LinguisticExpression) Merge.kif 15454-15454 短语语言式表达subclass
(subclass PostalAddressText LinguisticExpression) Mid-level-ontology.kif 26509-26509 PostalAddressText语言式表达subclass
(subclass Sentence LinguisticExpression) Merge.kif 15595-15595 句子语言式表达subclass
(subclass Text LinguisticExpression) Merge.kif 15512-15512 文本语言式表达subclass
(subclass Word LinguisticExpression) Merge.kif 1553-1553 字词语言式表达subclass
(termFormat ChineseLanguage LinguisticExpression "语言式表达") chinese_format.kif 838-838 字词语言式表达subclass
(termFormat EnglishLanguage LinguisticExpression "linguistic expression") english_format.kif 878-878 字词语言式表达subclass
(termFormat FrenchLanguage LinguisticExpression "expression linguistique") french_format.kif 514-514 字词语言式表达subclass
(termFormat Hindi LinguisticExpression "bhaashaa-sambandhI abhivyakti") terms-hindi.txt 46-46 字词语言式表达subclass
(termFormat ItalianLanguage LinguisticExpression "EspressioneLinguistica") terms-it.txt 49-49 字词语言式表达subclass
(termFormat JapaneseLanguage LinguisticExpression "言語表現") japanese_format.kif 2199-2199 字词语言式表达subclass
(termFormat PortugueseLanguage LinguisticExpression "Expressao Linguistica") portuguese_format.kif 466-466 字词语言式表达subclass
(termFormat cz LinguisticExpression "linguistic expression") terms-cz.txt 81-81 字词语言式表达subclass
(termFormat de LinguisticExpression "linguistischer Ausdruck") terms-de.txt 340-340 字词语言式表达subclass
(termFormat ro LinguisticExpression "expresie lingvisticã") relations-ro.kif 535-535 字词语言式表达subclass
(termFormat tg LinguisticExpression "hatol") terms-tg.txt 50-50 字词语言式表达subclass

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


(domain expressedInLanguage 1 LinguisticExpression) Merge.kif 4645-4645 所表达的语言 的 1 数量 是 语言式表达instance
(domain representsInLanguage 1 LinguisticExpression) Merge.kif 4505-4505 所表示的语言 的 1 数量 是 语言式表达instance

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


(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 13284-13290
(=>
    (instance ?SIGNING SigningAnAgreement)
    (exists (?DOC ?TERMS)
        (and
            (instance ?DOC LinguisticExpression)
            (instance ?TERMS Agreement)
            (containsInformation ?DOC ?TERMS)
            (patient ?SIGNING ?DOC))))
Geography.kif 3283-3290
(=>
    (instance ?TEXT Text)
    (exists (?PART)
        (and
            (part ?PART ?TEXT)
            (instance ?PART LinguisticExpression))))
Merge.kif 15520-15525
(=>
    (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