Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Syllable

Sigma KEE - Syllable
Syllable
reduplication, syllable, ultima

appearance as argument number 1
-------------------------


(documentation Syllable EnglishLanguage "A sequence of Characters from the same Word that denote a single sound.") Mid-level-ontology.kif 17177-17178
(externalImage Syllable "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Yunjing.jpg") pictureList.kif 8030-8030
(externalImage Syllable "http://upload.wikimedia.org/wikipedia/commons/a/ a7/ Syllable_structure.png") pictureList.kif 6912-6912
(externalImage Syllable "http://upload.wikimedia.org/wikipedia/commons/c/ c4/ Hangeul.png") pictureList.kif 8031-8031
(subclass Syllable SymbolicString) Mid-level-ontology.kif 17176-17176

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Syllable "syllable") domainEnglishFormat.kif 9856-9856

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 17164-17174
(=>
    (attribute ?SYLLABLE Stressed)
    (instance ?SYLLABLE Syllable))
Mid-level-ontology.kif 17160-17162
(=>
    (instance ?WORD Word)
    (exists (?SYLLABLE)
        (and
            (instance ?SYLLABLE Syllable)
            (part ?SYLLABLE ?WORD))))
Mid-level-ontology.kif 17180-17185


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners