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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Word
Word

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


(documentation Word ChineseLanguage "这是某种 Language 来表达一个概念的词语。") Merge.kif 1552-1552
(documentation Word EnglishLanguage "A term of a Language that represents a concept.") Merge.kif 1551-1551
(externalImage Word "http://upload.wikimedia.org/wikipedia/commons/7/78/ Codex_claromontanus_latin.jpg") pictureList.kif 6985-6985
(partition Word Noun Verb Adjective Adverb ParticleWord) Merge.kif 15328-15328
(subclass Word LinguisticExpression) Merge.kif 1550-1550

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


(subclass Adjective Word) Merge.kif 15340-15340
(subclass Adverb Word) Merge.kif 15346-15346
(subclass Noun Word) Merge.kif 15327-15327
(subclass Palindrome Word) Media.kif 3029-3029
(subclass ParticleWord Word) Merge.kif 15352-15352
(subclass SearchTerm Word) UXExperimentalTerms.kif 2711-2711
(subclass Verb Word) Merge.kif 15334-15334
(termFormat ChineseLanguage Word "字词") chinese_format.kif 846-846
(termFormat EnglishLanguage Word "word") english_format.kif 599-599
(termFormat JapaneseLanguage Word "単語") english_format.kif 600-600

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


(domain spellingInLanguage 2 Word) Media.kif 3021-3021

antecedent
-------------------------


(=>
    (and
        (attribute ?SYLLABLE Stressed)
        (instance ?WORD Word)
        (part ?SYLLABLE ?WORD))
    (not
        (exists (?SYLLABLE2)
            (and
                (instance ?SYLLABLE2 Syllable)
                (part ?SYLLABLE2 ?WORD)
                (attribute ?SYLLABLE2 Stressed)
                (not
                    (equal ?SYLLABLE2 ?SYLLABLE))))))
Mid-level-ontology.kif 17222-17232
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))
Merge.kif 15386-15391
(=>
    (instance ?WORD Word)
    (exists (?SYLLABLE)
        (and
            (instance ?SYLLABLE Syllable)
            (part ?SYLLABLE ?WORD))))
Mid-level-ontology.kif 17238-17243

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


(=>
    (instance ?L LyricalContent)
    (exists (?W ?I)
        (and
            (instance ?W Word)
            (containsInformation ?W ?I)
            (subProposition ?I ?L))))
Mid-level-ontology.kif 11401-11407
(=>
    (instance ?MORPH Morpheme)
    (exists (?WORD)
        (and
            (instance ?WORD Word)
            (part ?MORPH ?WORD))))
Merge.kif 15379-15384
(=>
    (instance ?PHRASE Phrase)
    (exists (?PART1 ?PART2)
        (and
            (part ?PART1 ?PHRASE)
            (part ?PART2 ?PHRASE)
            (instance ?PART1 Word)
            (instance ?PART2 Word)
            (not
                (equal ?PART1 ?PART2)))))
Merge.kif 15400-15408
(=>
    (instance ?S Singing)
    (exists (?W)
        (and
            (patient ?S ?W)
            (instance ?W Word))))
Merge.kif 13716-13721


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