Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (subclass Word LinguisticExpression) | Merge.kif 1638-1638 | Word is a subclass of linguistic expression |
| (documentation Word EnglishLanguage "A term of a Language that represents a concept.") | Merge.kif 1640-1640 | Word is a subclass of linguistic expression |
| (partition Word Noun Verb Adjective Adverb ParticleWord) | Merge.kif 15541-15541 | Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word |
| (externalImage Word "http://upload.wikimedia.org/wikipedia/commons/7/78/ Codex_claromontanus_latin.jpg") | pictureList.kif 6983-6983 | Word is exhaustively partitioned into noun, verb, adjective, adverb, and particle word |
| appearance as argument number 2 |
|
|
| (subclass Noun Word) | Merge.kif 15540-15540 | Noun is a subclass of word |
| (subclass Verb Word) | Merge.kif 15545-15545 | Verb is a subclass of word |
| (subclass Adjective Word) | Merge.kif 15549-15549 | Adjective is a subclass of word |
| (subclass Adverb Word) | Merge.kif 15553-15553 | Adverb is a subclass of word |
| (subclass ParticleWord Word) | Merge.kif 15557-15557 | Particle word is a subclass of word |
| (subclass Palindrome Word) | Media.kif 3021-3021 | Palindrome is a subclass of word |
| (subclass SearchTerm Word) | UXExperimentalTerms.kif 2505-2505 | Search term is a subclass of word |
| (termFormat EnglishLanguage Word "word") | english_format.kif 898-898 | Search term is a subclass of word |
| appearance as argument number 3 |
|
|
| (domain spellingInLanguage 2 Word) | Media.kif 2981-2981 | The number 2 argument of spelling in language is an instance of word |
| antecedent |
|
|
| (=> (instance ?WORD Word) (exists (?PART) (and (part ?PART ?WORD) (instance ?PART Morpheme)))) |
Merge.kif 15586-15591 | If X is an instance of word, then there exists Y such that Y is a part of X and Y is an instance of morpheme |
| (=> (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 |
| (=> (instance ?WORD Word) (exists (?SYLLABLE) (and (instance ?SYLLABLE Syllable) (part ?SYLLABLE ?WORD)))) |
Mid-level-ontology.kif 21359-21364 | If X is an instance of word, then there exists Y such that Y is an instance of syllable and Y is a part of X |
| consequent |
|
|
| (=> (instance ?S Singing) (exists (?W) (and (patient ?S ?W) (instance ?W Word)))) |
Merge.kif 14046-14051 | If X is an instance of singing, then there exists Y such that Y is a patient of X and Y is an instance of word |
| (=> (instance ?MORPH Morpheme) (exists (?WORD) (and (instance ?WORD Word) (part ?MORPH ?WORD)))) |
Merge.kif 15579-15584 | If X is an instance of morpheme, then there exists Y such that Y is an instance of word and X is a part of Y |
| (=> (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 15598-15606 | If X is an instance of phrase, then All of the following hold: (1) there exist Y (2) Z such that Y is a part of X (3) Z is a part of X (4) Y is an instance of word (5) Z is an instance of word (6) equal Y (7) Z |
| (=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 15397-15403 | If X is an instance of lyrical content, then there exist Y, Z such that Y is an instance of word, Y contains information Z, and Z is a sub-proposition of X |
|
