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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Word
Word(word)
Aga, Agha, Defender_of_the_Faith, Ladyship, Latinism, Lordship, Reverend, Tetragrammaton, Very_Reverend, acronym, affixation, aloha, anagram, anaphor, antecedent, antigram, antonym, antonymous, aphaeretic, apheretic, aphetic, apocope, back-formation, baronetcy, base, bigram, bimorphemic, blend, charade, ciao, citation_form, classifier, cognate, cognate_word, coinage, complementary, content_word, contraction, contradictory, contrary, contrastive, converse, dangling_participle, declension, deictic, deictic_word, denotation, derivative, descriptor, deuce...

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 1424-1424
(externalImage Word "http://upload.wikimedia.org/wikipedia/commons/7/78/ Codex_claromontanus_latin.jpg") pictureList.kif 6985-6985 "http://upload.wikimedia.org/wikipedia/commons/7/78/ Codex_claromontanus_latin.jpg" is a URL depicting word
(partition Word Noun Verb Adjective Adverb ParticleWord) Merge.kif 13977-13977 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
(subclass Word LinguisticExpression) Merge.kif 1422-1422 Word is a subclass of linguistic expression

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


(subclass Adjective Word) Merge.kif 13985-13985 Adjective is a subclass of word
(subclass Adverb Word) Merge.kif 13989-13989 Adverb is a subclass of word
(subclass Noun Word) Merge.kif 13976-13976 Noun is a subclass of word
(subclass Palindrome Word) Media.kif 3060-3060 Palindrome is a subclass of word
(subclass ParticleWord Word) Merge.kif 13993-13993 Particle word is a subclass of word
(subclass SearchTerm Word) UXExperimentalTerms.kif 2709-2709 Search term is a subclass of word
(subclass Verb Word) Merge.kif 13981-13981 Verb is a subclass of word
(termFormat ChineseLanguage Word "字词") chinese_format.kif 846-846 "字词" is the printable form of word in ChineseLanguage
(termFormat EnglishLanguage Word "word") english_format.kif 899-899 "word" is the printable form of word in english language

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


(domain spellingInLanguage 2 Word) Media.kif 3022-3022 The number 2 argument of spellingInLanguage is an instance of 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 17223-17233
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))
Merge.kif 14022-14027
(=>
    (instance ?WORD Word)
    (exists (?SYLLABLE)
        (and
            (instance ?SYLLABLE Syllable)
            (part ?SYLLABLE ?WORD))))
Mid-level-ontology.kif 17239-17244

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


(=>
    (instance ?L LyricalContent)
    (exists (?W ?I)
        (and
            (instance ?W Word)
            (containsInformation ?W ?I)
            (subProposition ?I ?L))))
Mid-level-ontology.kif 11406-11412
(=>
    (instance ?MORPH Morpheme)
    (exists (?WORD)
        (and
            (instance ?WORD Word)
            (part ?MORPH ?WORD))))
Merge.kif 14015-14020
(=>
    (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 14034-14042
(=>
    (instance ?S Singing)
    (exists (?W)
        (and
            (patient ?S ?W)
            (instance ?W Word))))
Merge.kif 12604-12609


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