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 15295-15295 | 字词 详尽无遗地 partition 成 名词, 动词, 形容词, 副词, 和 助词 |
(subclass Word LinguisticExpression) | Merge.kif 1543-1543 | 字词 是 语言式表达 的 subclass |
appearance as argument number 2 |
(subclass Adjective Word) | Merge.kif 15303-15303 | 形容词 是 字词 的 subclass |
(subclass Adverb Word) | Merge.kif 15307-15307 | 副词 是 字词 的 subclass |
(subclass Noun Word) | Merge.kif 15294-15294 | 名词 是 字词 的 subclass |
(subclass Palindrome Word) | Media.kif 3074-3074 | Palindrome 是 字词 的 subclass |
(subclass ParticleWord Word) | Merge.kif 15311-15311 | 助词 是 字词 的 subclass |
(subclass SearchTerm Word) | UXExperimentalTerms.kif 2504-2504 | SearchTerm 是 字词 的 subclass |
(subclass Verb Word) | Merge.kif 15299-15299 | 动词 是 字词 的 subclass |
(termFormat ChineseLanguage Word "字词") | chinese_format.kif 846-846 | 动词 是 字词 的 subclass |
(termFormat EnglishLanguage Word "word") | english_format.kif 894-894 | 动词 是 字词 的 subclass |
(termFormat FrenchLanguage Word "mot") | french_format.kif 522-522 | 动词 是 字词 的 subclass |
(termFormat Hindi Word "shabda") | terms-hindi.txt 53-53 | 动词 是 字词 的 subclass |
(termFormat ItalianLanguage Word "Parola") | terms-it.txt 56-56 | 动词 是 字词 的 subclass |
(termFormat JapaneseLanguage Word "単語") | japanese_format.kif 2207-2207 | 动词 是 字词 的 subclass |
(termFormat PortugueseLanguage Word "Palavra") | portuguese_format.kif 474-474 | 动词 是 字词 的 subclass |
(termFormat cb Word "pulong") | terms-cb.txt 58-58 | 动词 是 字词 的 subclass |
(termFormat cz Word "word") | terms-cz.txt 89-89 | 动词 是 字词 的 subclass |
(termFormat ro Word "cuvânt") | relations-ro.kif 543-543 | 动词 是 字词 的 subclass |
(termFormat tg Word "salita") | terms-tg.txt 57-57 | 动词 是 字词 的 subclass |
appearance as argument number 3 |
(domain spellingInLanguage 2 Word) | Media.kif 3034-3034 | 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 19701-19711 | |
(=> (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 19717-19722 |
consequent |
(=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 14020-14026 | |
(=> (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 |