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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LinguisticExpression
LinguisticExpression(expression linguistique)

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


(disjoint LinguisticExpression Icon) Merge.kif 1398-1398 Expression linguistique est disjoint de icone
(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 1400-1403
(documentation LinguisticExpression JapaneseLanguage "これはの ContentBearingPhysical の サブクラスで、言語関連である。 注:このClass は、LanguageLanguages の要素の両方を含 む。 例:Words。") japanese_format.kif 243-245
(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
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1397-1397 Expression linguistique est une sous-classe de ContentBearingPhysical

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


(subclass AlphaNumericString LinguisticExpression) Media.kif 2939-2939 AlphaNumericString est une sous-classe de expression linguistique
(subclass AlphabeticString LinguisticExpression) Media.kif 2902-2902 AlphabeticString est une sous-classe de expression linguistique
(subclass Language LinguisticExpression) Merge.kif 1405-1405 Langage est une sous-classe de expression linguistique
(subclass Morpheme LinguisticExpression) Merge.kif 15274-15274 Morph�me est une sous-classe de expression linguistique
(subclass Phrase LinguisticExpression) Merge.kif 15301-15301 Phrase est une sous-classe de expression linguistique
(subclass PostalAddressText LinguisticExpression) Mid-level-ontology.kif 24847-24847 PostalAddressText est une sous-classe de expression linguistique
(subclass Sentence LinguisticExpression) Merge.kif 15442-15442 Phrase est une sous-classe de expression linguistique
(subclass Text LinguisticExpression) Merge.kif 15359-15359 Texte est une sous-classe de expression linguistique
(subclass Word LinguisticExpression) Merge.kif 1543-1543 Mot est une sous-classe de expression linguistique
(termFormat ChineseLanguage LinguisticExpression "语言式表达") chinese_format.kif 838-838
(termFormat EnglishLanguage LinguisticExpression "linguistic expression") english_format.kif 878-878
(termFormat FrenchLanguage LinguisticExpression "expression linguistique") french_format.kif 514-514
(termFormat Hindi LinguisticExpression "bhaashaa-sambandhI abhivyakti") terms-hindi.txt 46-46
(termFormat ItalianLanguage LinguisticExpression "EspressioneLinguistica") terms-it.txt 49-49
(termFormat JapaneseLanguage LinguisticExpression "言語表現") japanese_format.kif 2199-2199
(termFormat PortugueseLanguage LinguisticExpression "Expressao Linguistica") portuguese_format.kif 466-466
(termFormat cz LinguisticExpression "linguistic expression") terms-cz.txt 81-81
(termFormat ro LinguisticExpression "expresie lingvisticã") relations-ro.kif 535-535
(termFormat tg LinguisticExpression "hatol") terms-tg.txt 50-50

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


(domain expressedInLanguage 1 LinguisticExpression) Merge.kif 4617-4617 Le nombre 1 argument de expressedInLanguage est une instance de expression linguistique
(domain representsInLanguage 1 LinguisticExpression) Merge.kif 4477-4477 Le nombre 1 argument de representsInLanguage est une instance de expression linguistique

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


(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 13130-13136
(=>
    (instance ?SIGNING SigningAnAgreement)
    (exists (?DOC ?TERMS)
        (and
            (instance ?DOC LinguisticExpression)
            (instance ?TERMS Agreement)
            (containsInformation ?DOC ?TERMS)
            (patient ?SIGNING ?DOC))))
Geography.kif 3125-3132
(=>
    (instance ?TEXT Text)
    (exists (?PART)
        (and
            (part ?PART ?TEXT)
            (instance ?PART LinguisticExpression))))
Merge.kif 15367-15372
(=>
    (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 1457-1470
(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))
Media.kif 3234-3240
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3117-3119


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