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 来表达一个概念的词语。") chinese_format.kif 1681-1681
(documentation Word EnglishLanguage "A term of a Language that represents a concept.") Merge.kif 1421-1421
(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 14095-14095 partition Word, Noun, Verb, Adjective, Adverb and ParticleWord
(subclass Word LinguisticExpression) Merge.kif 1419-1419 subclass Word and LinguisticExpression

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


(subclass Adjective Word) Merge.kif 14103-14103 subclass Adjective and Word
(subclass Adverb Word) Merge.kif 14107-14107 subclass Adverb and Word
(subclass Noun Word) Merge.kif 14094-14094 subclass Noun and Word
(subclass Palindrome Word) Media.kif 3060-3060 subclass Palindrome and Word
(subclass ParticleWord Word) Merge.kif 14111-14111 subclass ParticleWord and Word
(subclass SearchTerm Word) UXExperimentalTerms.kif 2709-2709 subclass SearchTerm and Word
(subclass Verb Word) Merge.kif 14099-14099 subclass Verb and Word
(termFormat ChineseLanguage Word "字词") chinese_format.kif 846-846
(termFormat EnglishLanguage Word "word") english_format.kif 899-899

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


(domain spellingInLanguage 2 Word) Media.kif 3022-3022 domain spellingInLanguage, 2 and Word

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 17249-17259
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))
Merge.kif 14140-14145
(=>
    (instance ?WORD Word)
    (exists (?SYLLABLE)
        (and
            (instance ?SYLLABLE Syllable)
            (part ?SYLLABLE ?WORD))))
Mid-level-ontology.kif 17265-17270

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


(=>
    (instance ?L LyricalContent)
    (exists (?W ?I)
        (and
            (instance ?W Word)
            (containsInformation ?W ?I)
            (subProposition ?I ?L))))
Mid-level-ontology.kif 11432-11438
(=>
    (instance ?MORPH Morpheme)
    (exists (?WORD)
        (and
            (instance ?WORD Word)
            (part ?MORPH ?WORD))))
Merge.kif 14133-14138
(=>
    (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 14152-14160
(=>
    (instance ?S Singing)
    (exists (?W)
        (and
            (patient ?S ?W)
            (instance ?W Word))))
Merge.kif 12722-12727


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