TreeView Knowledge Base Browser

consequent

(=> (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
(=> (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

(subclass Syllable SymbolicString)	Mid-level-ontology.kif 21355-21355	Syllable is a subclass of symbolic string
(documentation Syllable EnglishLanguage "A sequence of Characters from the same Word that denote a single sound.")	Mid-level-ontology.kif 21356-21357	Syllable is a subclass of symbolic string
(externalImage Syllable "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Syllable_structure.png")	pictureList.kif 6910-6910	Syllable is a subclass of symbolic string
(externalImage Syllable "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Yunjing.jpg")	pictureList.kif 8027-8027	Syllable is a subclass of symbolic string
(externalImage Syllable "http://upload.wikimedia.org/wikipedia/commons/c/ c4/ Hangeul.png")	pictureList.kif 8028-8028	Syllable is a subclass of symbolic string

(termFormat EnglishLanguage Syllable "syllable")	domainEnglishFormat.kif 56582-56582
(termFormat ChineseTraditionalLanguage Syllable "音節")	domainEnglishFormat.kif 56583-56583
(termFormat ChineseLanguage Syllable "音节")	domainEnglishFormat.kif 56584-56584