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 1412-1412
(documentation LinguisticExpression ChineseLanguage "这是 ContentBearingPhysical 和语言有关联的子类本。 注:这个 Class 涵盖 Language 和属于 Language 的元素,例如 Words 。") Merge.kif 1417-1418
(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 1413-1416
(subclass LinguisticExpression ContentBearingPhysical) Merge.kif 1411-1411

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


(subclass AlphaNumericString LinguisticExpression) Media.kif 2909-2909
(subclass AlphabeticString LinguisticExpression) Media.kif 2872-2872
(subclass Language LinguisticExpression) Merge.kif 1420-1420
(subclass Morpheme LinguisticExpression) Merge.kif 15228-15228
(subclass Phrase LinguisticExpression) Merge.kif 15256-15256
(subclass PostalAddressText LinguisticExpression) Mid-level-ontology.kif 22249-22249
(subclass Sentence LinguisticExpression) Merge.kif 15412-15412
(subclass Text LinguisticExpression) Merge.kif 15320-15320
(subclass Word LinguisticExpression) Merge.kif 1532-1532
(termFormat ChineseLanguage LinguisticExpression "语言式表达") chinese_format.kif 838-838
(termFormat EnglishLanguage LinguisticExpression "linguistic expression") english_format.kif 525-525
(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 47-47
(termFormat PortugueseLanguage LinguisticExpression "Expressao Linguistica") portuguese_format.kif 466-466
(termFormat ar LinguisticExpression "تَعْبِيْر لَغَوِي") arabic_format.kif 250-250
(termFormat cz LinguisticExpression "linguistic expression") terms-cz.txt 81-81
(termFormat tg LinguisticExpression "hatol") terms-tg.txt 50-50

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


(domain expressedInLanguage 1 LinguisticExpression) Merge.kif 4727-4727
(domain representsInLanguage 1 LinguisticExpression) Merge.kif 4576-4576

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


(=>
    (instance ?COMMUNICATE LinguisticCommunication)
    (exists (?OBJ)
        (and
            (represents ?COMMUNICATE ?OBJ)
            (instance ?OBJ LinguisticExpression)
            (patient ?COMMUNICATE ?OBJ))))
Merge.kif 12948-12954
(=>
    (instance ?SIGNING SigningAnAgreement)
    (exists (?DOC ?TERMS)
        (and
            (instance ?DOC LinguisticExpression)
            (instance ?TERMS Agreement)
            (containsInformation ?DOC ?TERMS)
            (patient ?SIGNING ?DOC))))
Geography.kif 2971-2978
(=>
    (instance ?TEXT Text)
    (exists (?PART)
        (and
            (part ?PART ?TEXT)
            (instance ?PART LinguisticExpression))))
Merge.kif 15331-15336
(=>
    (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 1471-1484
(=>
    (subtitle ?STRING ?WORKTYPE ?LANGUAGE)
    (exists (?TITLE)
        (and
            (instance ?TITLE SymbolicString)
            (instance ?TITLE LinguisticExpression)
            (titleInLanguage ?TITLE ?WORKTYPE ?LANGUAGE))))
Media.kif 3149-3155
(=>
    (titleInLanguage ?STRING ?CBP-TYPE ?LANGUAGE)
    (instance ?STRING LinguisticExpression))
Media.kif 3032-3034


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