Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Stressed(stressed) |  | accent, accentuation, emphasis, intonation, modulation, pitch_contour, stress, unstressed |
| appearance as argument number 1 |
|
|
| (instance Stressed SoundAttribute) | Mid-level-ontology.kif 21334-21334 | Stressed is an instance of sound attribute |
| (documentation Stressed EnglishLanguage "A SoundAttribute of Syllables. It denotes the quality of being emphasized over the other Syllables in the same Word.") | Mid-level-ontology.kif 21335-21337 | Stressed is an instance of sound attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (attribute ?SYLLABLE Stressed) (instance ?SYLLABLE Syllable)) |
Mid-level-ontology.kif 21339-21341 | If stressed is an attribute of X, then X is an instance of syllable |
| (=> (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 21343-21353 | If stressed is an attribute of X, Y is an instance of word, and X is a part of Y, then there doesn't exist Z such that Z is an instance of syllable, Z is a part of Y, stressed is an attribute of Z, equal Z, and X |
| consequent |
|
|
| (=> (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 21343-21353 | If stressed is an attribute of X, Y is an instance of word, and X is a part of Y, then there doesn't exist Z such that Z is an instance of syllable, Z is a part of Y, stressed is an attribute of Z, equal Z, and X |
|