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 1555-1555
(documentation Word JapaneseLanguage "概念を表す Language の用語。") japanese_format.kif 273-273
(documentation Word SpanishLanguage "Un término (palabra) de un Language que representa un concepto.") spanish_format.kif 321-322
(externalImage Word "http://upload.wikimedia.org/wikipedia/commons/7/78/ Codex_claromontanus_latin.jpg") pictureList.kif 6983-6983
(partition Word Noun Verb Adjective Adverb ParticleWord) Merge.kif 15402-15402 Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
(subclass Word LinguisticExpression) Merge.kif 1553-1553 Word is a subclass of linguistic expression

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


(subclass Adjective Word) Merge.kif 15410-15410 Adjective is a subclass of word
(subclass Adverb Word) Merge.kif 15414-15414 Adverb is a subclass of word
(subclass Noun Word) Merge.kif 15401-15401 Noun is a subclass of word
(subclass Palindrome Word) Media.kif 3076-3076 Palindrome is a subclass of word
(subclass ParticleWord Word) Merge.kif 15418-15418 Particle word is a subclass of word
(subclass SearchTerm Word) UXExperimentalTerms.kif 2504-2504 Search term is a subclass of word
(subclass Verb Word) Merge.kif 15406-15406 Verb is a subclass of word
(termFormat ChineseLanguage Word "字词") chinese_format.kif 846-846 Verb is a subclass of word
(termFormat EnglishLanguage Word "word") english_format.kif 894-894 Verb is a subclass of word
(termFormat FrenchLanguage Word "mot") french_format.kif 522-522 Verb is a subclass of word
(termFormat Hindi Word "shabda") terms-hindi.txt 53-53 Verb is a subclass of word
(termFormat ItalianLanguage Word "Parola") terms-it.txt 56-56 Verb is a subclass of word
(termFormat JapaneseLanguage Word "単語") japanese_format.kif 2207-2207 Verb is a subclass of word
(termFormat PortugueseLanguage Word "Palavra") portuguese_format.kif 474-474 Verb is a subclass of word
(termFormat cb Word "pulong") terms-cb.txt 58-58 Verb is a subclass of word
(termFormat cz Word "word") terms-cz.txt 89-89 Verb is a subclass of word
(termFormat de Word "Wort") terms-de.txt 348-348 Verb is a subclass of word
(termFormat ro Word "cuvânt") relations-ro.kif 543-543 Verb is a subclass of word
(termFormat tg Word "salita") terms-tg.txt 57-57 Verb is a subclass of word

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


(domain spellingInLanguage 2 Word) Media.kif 3036-3036 The number 2 argument of spelling in language 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 21014-21024
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))
Merge.kif 15447-15452
(=>
    (instance ?WORD Word)
    (exists (?SYLLABLE)
        (and
            (instance ?SYLLABLE Syllable)
            (part ?SYLLABLE ?WORD))))
Mid-level-ontology.kif 21030-21035

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


(=>
    (instance ?L LyricalContent)
    (exists (?W ?I)
        (and
            (instance ?W Word)
            (containsInformation ?W ?I)
            (subProposition ?I ?L))))
Mid-level-ontology.kif 15173-15179
(=>
    (instance ?MORPH Morpheme)
    (exists (?WORD)
        (and
            (instance ?WORD Word)
            (part ?MORPH ?WORD))))
Merge.kif 15440-15445
(=>
    (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 15459-15467
(=>
    (instance ?S Singing)
    (exists (?W)
        (and
            (patient ?S ?W)
            (instance ?W Word))))
Merge.kif 13890-13895


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