Word - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Word

Word(word)

Aga, Agha, Defender_of_the_Faith, Ladyship, Latinism, Lordship, Reverend, Tetragrammaton, Very_Reverend, acronym, affixation, aloha, anagram, anaphor, antecedent, antigram, antonym, antonymous, aphaeretic, apheretic, aphetic, apocope, back-formation, baronetcy, base, bigram, bimorphemic, blend, charade, ciao, citation_form, classifier, cognate, cognate_word, coinage, complementary, content_word, contraction, contradictory, contrary, contrastive, converse, dangling_participle, declension, deictic, deictic_word, denotation, derivative, descriptor, deuce...

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 6983-6983
(partition Word Noun Verb Adjective Adverb ParticleWord)	Merge.kif 15295-15295	Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word
(subclass Word LinguisticExpression)	Merge.kif 1543-1543	Word is a subclass of linguistic expression

appearance as argument number 2

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

appearance as argument number 3

(domain spellingInLanguage 2 Word)

Media.kif 3034-3034

The number 2 argument of spelling in language is an instance of word

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	If stressed is an attribute of an object and another object is an instance of word and the object is a part of the other object, then there doesn't exist the object2 such that the object2 is an instance of syllable and the object2 is a part of the other object and stressed is an attribute of the object2 and the object2 is not equal to the object
(=> (instance ?WORD Word) (exists (?PART) (and (part ?PART ?WORD) (instance ?PART Morpheme))))	Merge.kif 15340-15345	If an object is an instance of word, then there exists another object such that the other object is a part of the object and the other object is an instance of morpheme
(=> (instance ?WORD Word) (exists (?SYLLABLE) (and (instance ?SYLLABLE Syllable) (part ?SYLLABLE ?WORD))))	Mid-level-ontology.kif 19717-19722	If an object is an instance of word, then there exists another object such that the other object is an instance of syllable and the other object is a part of the object

consequent

(=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L))))	Mid-level-ontology.kif 14020-14026	If a proposition is an instance of lyrical content, then there exist a content bearing physical and another proposition such that the content bearing physical is an instance of word and the content bearing physical contains information the other proposition and the other proposition is a sub-proposition of the proposition
(=> (instance ?MORPH Morpheme) (exists (?WORD) (and (instance ?WORD Word) (part ?MORPH ?WORD))))	Merge.kif 15333-15338	If an object is an instance of morpheme, then there exists another object such that the other object is an instance of word and the object is a part of the other object
(=> (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	If an object is an instance of phrase, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the object and the other object is an instance of word and the third object is an instance of word and the other object is not equal to the third object
(=> (instance ?S Singing) (exists (?W) (and (patient ?S ?W) (instance ?W Word))))	Merge.kif 13782-13787	If a process is an instance of singing, then there exists an entity such that the entity is a patient of the process and the entity is an instance of word

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