| Word
| |
| appearance as argument number 1 |
|
|
| (documentation Word ChineseLanguage "这是某种 Language 来表达一个概念的词语。") | Merge.kif 1552-1552 | |
| (documentation Word EnglishLanguage "A term of a Language that represents a concept.") | Merge.kif 1551-1551 | |
| (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 15328-15328 | |
| (subclass Word LinguisticExpression) | Merge.kif 1550-1550 |
| appearance as argument number 2 |
|
|
| (subclass Adjective Word) | Merge.kif 15340-15340 | |
| (subclass Adverb Word) | Merge.kif 15346-15346 | |
| (subclass Noun Word) | Merge.kif 15327-15327 | |
| (subclass Palindrome Word) | Media.kif 3029-3029 | |
| (subclass ParticleWord Word) | Merge.kif 15352-15352 | |
| (subclass SearchTerm Word) | UXExperimentalTerms.kif 2711-2711 | |
| (subclass Verb Word) | Merge.kif 15334-15334 | |
| (termFormat ChineseLanguage Word "字词") | chinese_format.kif 846-846 | |
| (termFormat EnglishLanguage Word "word") | english_format.kif 599-599 | |
| (termFormat JapaneseLanguage Word "単語") | english_format.kif 600-600 |
| appearance as argument number 3 |
|
|
| (domain spellingInLanguage 2 Word) | Media.kif 3021-3021 |
| 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 17222-17232 | |
| (=> (instance ?WORD Word) (exists (?PART) (and (part ?PART ?WORD) (instance ?PART Morpheme)))) |
Merge.kif 15386-15391 | |
| (=> (instance ?WORD Word) (exists (?SYLLABLE) (and (instance ?SYLLABLE Syllable) (part ?SYLLABLE ?WORD)))) |
Mid-level-ontology.kif 17238-17243 |
| 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 15379-15384 | |
| (=> (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 15400-15408 | |
| (=> (instance ?S Singing) (exists (?W) (and (patient ?S ?W) (instance ?W Word)))) |
Merge.kif 13716-13721 |
|
|
|