| 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 1421-1421 | |
| (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 14095-14095 | |
| (subclass Word LinguisticExpression) | Merge.kif 1419-1419 |
| appearance as argument number 2 |
|
|
| (subclass Adjective Word) | Merge.kif 14103-14103 | |
| (subclass Adverb Word) | Merge.kif 14107-14107 | |
| (subclass Noun Word) | Merge.kif 14094-14094 | |
| (subclass Palindrome Word) | Media.kif 3060-3060 | |
| (subclass ParticleWord Word) | Merge.kif 14111-14111 | |
| (subclass SearchTerm Word) | UXExperimentalTerms.kif 2709-2709 | |
| (subclass Verb Word) | Merge.kif 14099-14099 | |
| (termFormat ChineseLanguage Word "字词") | chinese_format.kif 846-846 | |
| (termFormat EnglishLanguage Word "word") | english_format.kif 899-899 |
| appearance as argument number 3 |
|
|
| (domain spellingInLanguage 2 Word) | Media.kif 3022-3022 |
| 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 17249-17259 | |
| (=> (instance ?WORD Word) (exists (?PART) (and (part ?PART ?WORD) (instance ?PART Morpheme)))) |
Merge.kif 14140-14145 | |
| (=> (instance ?WORD Word) (exists (?SYLLABLE) (and (instance ?SYLLABLE Syllable) (part ?SYLLABLE ?WORD)))) |
Mid-level-ontology.kif 17265-17270 |
| consequent |
|
|
| (=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 11432-11438 | |
| (=> (instance ?MORPH Morpheme) (exists (?WORD) (and (instance ?WORD Word) (part ?MORPH ?WORD)))) |
Merge.kif 14133-14138 | |
| (=> (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 14152-14160 | |
| (=> (instance ?S Singing) (exists (?W) (and (patient ?S ?W) (instance ?W Word)))) |
Merge.kif 12722-12727 |
|
|
|