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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Word
Word(mot)

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 1540-1540
(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 15387-15387 Mot est compl�tement d�compos� en nom, verbe, adjectif, adverbe, + ParticleWord
(subclass Word LinguisticExpression) Merge.kif 1538-1538 Mot est une sous-classe de expression linguistique

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


(subclass Adjective Word) Merge.kif 15395-15395 Adjectif est une sous-classe de mot
(subclass Adverb Word) Merge.kif 15399-15399 Adverbe est une sous-classe de mot
(subclass Noun Word) Merge.kif 15386-15386 Nom est une sous-classe de mot
(subclass Palindrome Word) Media.kif 3076-3076 Palindrome est une sous-classe de mot
(subclass ParticleWord Word) Merge.kif 15403-15403 ParticleWord est une sous-classe de mot
(subclass SearchTerm Word) UXExperimentalTerms.kif 2504-2504 SearchTerm est une sous-classe de mot
(subclass Verb Word) Merge.kif 15391-15391 Verbe est une sous-classe de mot
(termFormat ChineseLanguage Word "字词") chinese_format.kif 846-846 Verbe est une sous-classe de mot
(termFormat EnglishLanguage Word "word") english_format.kif 894-894 Verbe est une sous-classe de mot
(termFormat FrenchLanguage Word "mot") french_format.kif 522-522 Verbe est une sous-classe de mot
(termFormat Hindi Word "shabda") terms-hindi.txt 53-53 Verbe est une sous-classe de mot
(termFormat ItalianLanguage Word "Parola") terms-it.txt 56-56 Verbe est une sous-classe de mot
(termFormat JapaneseLanguage Word "単語") japanese_format.kif 2207-2207 Verbe est une sous-classe de mot
(termFormat PortugueseLanguage Word "Palavra") portuguese_format.kif 474-474 Verbe est une sous-classe de mot
(termFormat cb Word "pulong") terms-cb.txt 58-58 Verbe est une sous-classe de mot
(termFormat cz Word "word") terms-cz.txt 89-89 Verbe est une sous-classe de mot
(termFormat de Word "Wort") terms-de.txt 348-348 Verbe est une sous-classe de mot
(termFormat ro Word "cuvânt") relations-ro.kif 543-543 Verbe est une sous-classe de mot
(termFormat tg Word "salita") terms-tg.txt 57-57 Verbe est une sous-classe de mot

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


(domain spellingInLanguage 2 Word) Media.kif 3036-3036 Le nombre 2 argument de spellingInLanguage est une instance de mot

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 15432-15437
(=>
    (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 15425-15430
(=>
    (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 15444-15452
(=>
    (instance ?S Singing)
    (exists (?W)
        (and
            (patient ?S ?W)
            (instance ?W Word))))
Merge.kif 13875-13880


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