TreeView Knowledge Base Browser

appearance as argument number 1

(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 20995-20997
(instance Stressed SoundAttribute)	Mid-level-ontology.kif 20994-20994	Stressed is an instance of sound attribute

appearance as argument number 2

(termFormat ChineseLanguage Stressed "强调")	domainEnglishFormat.kif 55617-55617
(termFormat ChineseTraditionalLanguage Stressed "強調")	domainEnglishFormat.kif 55616-55616
(termFormat EnglishLanguage Stressed "stressed")	domainEnglishFormat.kif 55615-55615

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 21003-21013	If stressed is an attribute of an object and another object is an instance of word and the object is a part of the other object, then there doesn't exist the object2 such that the object2 is an instance of syllable and the object2 is a part of the other object and stressed is an attribute of the object2 and equal the object2 and the object
(=> (attribute ?SYLLABLE Stressed) (instance ?SYLLABLE Syllable))	Mid-level-ontology.kif 20999-21001	If stressed is an attribute of an object, then the object is an instance of syllable

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 21003-21013

If stressed is an attribute of an object and another object is an instance of word and the object is a part of the other object,
then there doesn't exist the object2 such that the object2 is an instance of syllable and the object2 is a part of the other object and stressed is an attribute of the object2 and equal the object2 and the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: