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 1426-1426 | |
(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 14127-14127 | |
(subclass Word LinguisticExpression) | Merge.kif 1424-1424 |
appearance as argument number 2 |
![]() |
(subclass Adjective Word) | Merge.kif 14135-14135 | |
(subclass Adverb Word) | Merge.kif 14139-14139 | |
(subclass Noun Word) | Merge.kif 14126-14126 | |
(subclass Palindrome Word) | Media.kif 3062-3062 | |
(subclass ParticleWord Word) | Merge.kif 14143-14143 | |
(subclass SearchTerm Word) | UXExperimentalTerms.kif 2711-2711 | |
(subclass Verb Word) | Merge.kif 14131-14131 | |
(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 17254-17264 | |
(=> (instance ?WORD Word) (exists (?PART) (and (part ?PART ?WORD) (instance ?PART Morpheme)))) |
Merge.kif 14172-14177 | |
(=> (instance ?WORD Word) (exists (?SYLLABLE) (and (instance ?SYLLABLE Syllable) (part ?SYLLABLE ?WORD)))) |
Mid-level-ontology.kif 17270-17275 |
consequent |
![]() |
(=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 11434-11440 | |
(=> (instance ?MORPH Morpheme) (exists (?WORD) (and (instance ?WORD Word) (part ?MORPH ?WORD)))) |
Merge.kif 14165-14170 | |
(=> (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 14184-14192 | |
(=> (instance ?S Singing) (exists (?W) (and (patient ?S ?W) (instance ?W Word)))) |
Merge.kif 12754-12759 |
![]() |
![]() |