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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Glottis
Glottis

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


(documentation Glottis EnglishLanguage "The glottis is the opening between the vocal folds (the rima glottidis). The glottis is crucial in producing vowels and voiced consonants.[from Wikipedia]") Mid-level-ontology.kif 6143-6145
(subclass Glottis HoleRegion) Mid-level-ontology.kif 6142-6142 Glottis est une sous-classe de trou

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


(termFormat EnglishLanguage Glottis "glottis") Mid-level-ontology.kif 6146-6146

antecedent
-------------------------


(=>
    (instance ?G Glottis)
    (exists (?VC)
        (and
            (instance ?VC VocalCords)
            (equal ?VC
                (HoleHostFn ?G)))))
Mid-level-ontology.kif 6148-6154


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



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