|
|
   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 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 15219-15219 | 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词 |
| (subclass Word LinguisticExpression) | Merge.kif 1543-1543 | 字词 是 语言式表达 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Adjective Word) | Merge.kif 15227-15227 | 形容词 是 字词 的 subclass |
| (subclass Adverb Word) | Merge.kif 15231-15231 | 副词 是 字词 的 subclass |
| (subclass Noun Word) | Merge.kif 15218-15218 | 名词 是 字词 的 subclass |
| (subclass Palindrome Word) | Media.kif 3092-3092 | Palindrome 是 字词 的 subclass |
| (subclass ParticleWord Word) | Merge.kif 15235-15235 | 助词 是 字词 的 subclass |
| (subclass SearchTerm Word) | UXExperimentalTerms.kif 2512-2512 | SearchTerm 是 字词 的 subclass |
| (subclass Verb Word) | Merge.kif 15223-15223 | 动词 是 字词 的 subclass |
| (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 3052-3052 | spellingInLanguage 的 2 数量 是 字词 的 instance |
| 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 19392-19402 | |
| (=> (instance ?WORD Word) (exists (?PART) (and (part ?PART ?WORD) (instance ?PART Morpheme)))) |
Merge.kif 15264-15269 | |
| (=> (instance ?WORD Word) (exists (?SYLLABLE) (and (instance ?SYLLABLE Syllable) (part ?SYLLABLE ?WORD)))) |
Mid-level-ontology.kif 19408-19413 |
| consequent |
|
|
| (=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 13774-13780 | |
| (=> (instance ?MORPH Morpheme) (exists (?WORD) (and (instance ?WORD Word) (part ?MORPH ?WORD)))) |
Merge.kif 15257-15262 | |
| (=> (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 15276-15284 | |
| (=> (instance ?S Singing) (exists (?W) (and (patient ?S ?W) (instance ?W Word)))) |
Merge.kif 13706-13711 |
|
|
|
