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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Word
Word(Parola)

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 Parola è esaustivamente partizionato in Nome, Verbo, Aggettivo, Avverbio, + ParticleWord
(subclass Word LinguisticExpression) Merge.kif 1543-1543 Parola è una sottoclasse di EspressioneLinguistica

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


(subclass Adjective Word) Merge.kif 15303-15303 Aggettivo è una sottoclasse di Parola
(subclass Adverb Word) Merge.kif 15307-15307 Avverbio è una sottoclasse di Parola
(subclass Noun Word) Merge.kif 15294-15294 Nome è una sottoclasse di Parola
(subclass Palindrome Word) Media.kif 3074-3074 Palindrome è una sottoclasse di Parola
(subclass ParticleWord Word) Merge.kif 15311-15311 ParticleWord è una sottoclasse di Parola
(subclass SearchTerm Word) UXExperimentalTerms.kif 2504-2504 SearchTerm è una sottoclasse di Parola
(subclass Verb Word) Merge.kif 15299-15299 Verbo è una sottoclasse di Parola
(termFormat ChineseLanguage Word "字词") chinese_format.kif 846-846
(termFormat EnglishLanguage Word "word") english_format.kif 894-894
(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 56-56
(termFormat JapaneseLanguage Word "単語") japanese_format.kif 2207-2207
(termFormat PortugueseLanguage Word "Palavra") portuguese_format.kif 474-474
(termFormat cb Word "pulong") terms-cb.txt 58-58
(termFormat cz Word "word") terms-cz.txt 89-89
(termFormat ro Word "cuvânt") relations-ro.kif 543-543
(termFormat tg Word "salita") terms-tg.txt 57-57

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


(domain spellingInLanguage 2 Word) Media.kif 3034-3034 Il numero 2 argomenti di spellingInLanguage è un istanza di Parola

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 19470-19480
(=>
    (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 19486-19491

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


(=>
    (instance ?L LyricalContent)
    (exists (?W ?I)
        (and
            (instance ?W Word)
            (containsInformation ?W ?I)
            (subProposition ?I ?L))))
Mid-level-ontology.kif 13829-13835
(=>
    (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 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