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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 1545-1545
(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 6984-6984
(partition Word Noun Verb Adjective Adverb ParticleWord) Merge.kif 15295-15295 字词 详尽无遗地 partition名词, 动词, 形容词, 副词, 和 助词
(subclass Word LinguisticExpression) Merge.kif 1543-1543 字词语言式表达subclass

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


(subclass Adjective Word) Merge.kif 15303-15303 形容词字词subclass
(subclass Adverb Word) Merge.kif 15307-15307 副词字词subclass
(subclass Noun Word) Merge.kif 15294-15294 名词字词subclass
(subclass Palindrome Word) Media.kif 3074-3074 Palindrome字词subclass
(subclass ParticleWord Word) Merge.kif 15311-15311 助词字词subclass
(subclass SearchTerm Word) UXExperimentalTerms.kif 2504-2504 SearchTerm字词subclass
(subclass Verb Word) Merge.kif 15299-15299 动词字词subclass
(termFormat ChineseLanguage Word "字词") chinese_format.kif 846-846 动词字词subclass
(termFormat EnglishLanguage Word "word") english_format.kif 894-894 动词字词subclass
(termFormat FrenchLanguage Word "mot") french_format.kif 522-522 动词字词subclass
(termFormat Hindi Word "shabda") terms-hindi.txt 53-53 动词字词subclass
(termFormat ItalianLanguage Word "Parola") terms-it.txt 56-56 动词字词subclass
(termFormat JapaneseLanguage Word "単語") japanese_format.kif 2207-2207 动词字词subclass
(termFormat PortugueseLanguage Word "Palavra") portuguese_format.kif 474-474 动词字词subclass
(termFormat cb Word "pulong") terms-cb.txt 58-58 动词字词subclass
(termFormat cz Word "word") terms-cz.txt 89-89 动词字词subclass
(termFormat ro Word "cuvânt") relations-ro.kif 543-543 动词字词subclass
(termFormat tg Word "salita") terms-tg.txt 57-57 动词字词subclass

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


(domain spellingInLanguage 2 Word) Media.kif 3034-3034 spellingInLanguage 的 2 数量 是 字词instance

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 19701-19711
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))
Merge.kif 15340-15345
(=>
    (instance ?WORD Word)
    (exists (?SYLLABLE)
        (and
            (instance ?SYLLABLE Syllable)
            (part ?SYLLABLE ?WORD))))
Mid-level-ontology.kif 19717-19722

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


(=>
    (instance ?L LyricalContent)
    (exists (?W ?I)
        (and
            (instance ?W Word)
            (containsInformation ?W ?I)
            (subProposition ?I ?L))))
Mid-level-ontology.kif 14020-14026
(=>
    (instance ?MORPH Morpheme)
    (exists (?WORD)
        (and
            (instance ?WORD Word)
            (part ?MORPH ?WORD))))
Merge.kif 15333-15338
(=>
    (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 15352-15360
(=>
    (instance ?S Singing)
    (exists (?W)
        (and
            (patient ?S ?W)
            (instance ?W Word))))
Merge.kif 13782-13787


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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