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 1544-1544
(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 15308-15308 Word wird vollstaendig in Noun, Verb, Adjective, Adverb, und ParticleWord verteilt
(subclass Word LinguisticExpression) Merge.kif 1542-1542 Word ist eine teilkategorie von LinguisticExpression

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


(subclass Adjective Word) Merge.kif 15316-15316 Adjective ist eine teilkategorie von Word
(subclass Adverb Word) Merge.kif 15320-15320 Adverb ist eine teilkategorie von Word
(subclass Noun Word) Merge.kif 15307-15307 Noun ist eine teilkategorie von Word
(subclass Palindrome Word) Media.kif 3074-3074 Palindrome ist eine teilkategorie von Word
(subclass ParticleWord Word) Merge.kif 15324-15324 ParticleWord ist eine teilkategorie von Word
(subclass SearchTerm Word) UXExperimentalTerms.kif 2504-2504 SearchTerm ist eine teilkategorie von Word
(subclass Verb Word) Merge.kif 15312-15312 Verb ist eine teilkategorie von Word
(termFormat ChineseLanguage Word "字词") chinese_format.kif 846-846 Verb ist eine teilkategorie von Word
(termFormat EnglishLanguage Word "word") english_format.kif 894-894 Verb ist eine teilkategorie von Word
(termFormat FrenchLanguage Word "mot") french_format.kif 522-522 Verb ist eine teilkategorie von Word
(termFormat Hindi Word "shabda") terms-hindi.txt 53-53 Verb ist eine teilkategorie von Word
(termFormat ItalianLanguage Word "Parola") terms-it.txt 56-56 Verb ist eine teilkategorie von Word
(termFormat JapaneseLanguage Word "単語") japanese_format.kif 2207-2207 Verb ist eine teilkategorie von Word
(termFormat PortugueseLanguage Word "Palavra") portuguese_format.kif 474-474 Verb ist eine teilkategorie von Word
(termFormat cb Word "pulong") terms-cb.txt 58-58 Verb ist eine teilkategorie von Word
(termFormat cz Word "word") terms-cz.txt 89-89 Verb ist eine teilkategorie von Word
(termFormat ro Word "cuvânt") relations-ro.kif 543-543 Verb ist eine teilkategorie von Word
(termFormat tg Word "salita") terms-tg.txt 57-57 Verb ist eine teilkategorie von Word

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


(domain spellingInLanguage 2 Word) Media.kif 3034-3034 Die Zahl 2 Argument von spellingInLanguage ist ein fall von Word %n{nicht}

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 19733-19743
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))
Merge.kif 15353-15358
(=>
    (instance ?WORD Word)
    (exists (?SYLLABLE)
        (and
            (instance ?SYLLABLE Syllable)
            (part ?SYLLABLE ?WORD))))
Mid-level-ontology.kif 19749-19754

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


(=>
    (instance ?L LyricalContent)
    (exists (?W ?I)
        (and
            (instance ?W Word)
            (containsInformation ?W ?I)
            (subProposition ?I ?L))))
Mid-level-ontology.kif 14052-14058
(=>
    (instance ?MORPH Morpheme)
    (exists (?WORD)
        (and
            (instance ?WORD Word)
            (part ?MORPH ?WORD))))
Merge.kif 15346-15351
(=>
    (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 15365-15373
(=>
    (instance ?S Singing)
    (exists (?W)
        (and
            (patient ?S ?W)
            (instance ?W Word))))
Merge.kif 13796-13801


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