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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Word
Word
مُفْردات, كلِمة, لفْظة, كلِمة مضْمُوْن, كلِمة دلالِيّة, شَكْل, شَكْل كَلِمَة, كلِمة رئِيسِيّة, ...

appearance as argument number 1
-------------------------


(documentation Word ChineseLanguage "这是某种 Language 来表达一个概念的词语。") Merge.kif 1540-1540
(documentation Word EnglishLanguage "A term of a Language that represents a concept.") Merge.kif 1539-1539
(externalImage Word "http://upload.wikimedia.org/wikipedia/commons/7/78/ Codex_claromontanus_latin.jpg") pictureList.kif 6985-6985
(partition Word Noun Verb Adjective Adverb ParticleWord) Merge.kif 15270-15270
(subclass Word LinguisticExpression) Merge.kif 1538-1538

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


(subclass Adjective Word) Merge.kif 15282-15282
(subclass Adverb Word) Merge.kif 15288-15288
(subclass Noun Word) Merge.kif 15269-15269
(subclass ParticleWord Word) Merge.kif 15294-15294
(subclass SearchTerm Word) UXExperimentalTerms.kif 2711-2711
(subclass Verb Word) Merge.kif 15276-15276
(termFormat ChineseLanguage Word "字词") chinese_format.kif 846-846
(termFormat EnglishLanguage Word "word") english_format.kif 533-533
(termFormat FrenchLanguage Word "mot") french_format.kif 522-522
(termFormat Hindi Word "shabda") terms-hindi.txt 53-53
(termFormat ItalianLanguage Word "Parola") terms-it.txt 54-54
(termFormat PortugueseLanguage Word "Palavra") portuguese_format.kif 474-474
(termFormat ar Word "كَلِمَة") arabic_format.kif 258-258
(termFormat cb Word "pulong") terms-cb.txt 58-58
(termFormat cz Word "word") terms-cz.txt 89-89
(termFormat tg Word "salita") terms-tg.txt 57-57

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 17164-17174
(=>
    (instance ?WORD Word)
    (exists (?PART)
        (and
            (part ?PART ?WORD)
            (instance ?PART Morpheme))))
Merge.kif 15328-15333
(=>
    (instance ?WORD Word)
    (exists (?SYLLABLE)
        (and
            (instance ?SYLLABLE Syllable)
            (part ?SYLLABLE ?WORD))))
Mid-level-ontology.kif 17180-17185

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


(=>
    (instance ?L LyricalContent)
    (exists (?W ?I)
        (and
            (instance ?W Word)
            (containsInformation ?W ?I)
            (subProposition ?I ?L))))
Mid-level-ontology.kif 11401-11407
(=>
    (instance ?MORPH Morpheme)
    (exists (?WORD)
        (and
            (instance ?WORD Word)
            (part ?MORPH ?WORD))))
Merge.kif 15321-15326
(=>
    (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 15342-15350
(=>
    (instance ?S Singing)
    (exists (?W)
        (and
            (patient ?S ?W)
            (instance ?W Word))))
Merge.kif 13658-13663


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