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


KB Term:  Term intersection
English Word: 

Sigma KEE - Vocalizing
Vocalizing(vocalizing)

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


(subclass Vocalizing RadiatingSound) Merge.kif 13891-13891 Vocalizing is a subclass of radiating sound
(subclass Vocalizing OrganismProcess) Merge.kif 13892-13892 Vocalizing is a subclass of organism process
(documentation Vocalizing EnglishLanguage "Any instance of RadiatingSound where the instrument is the vocal cord. This covers grunts, screams, roars, as well as Speaking.") Merge.kif 13893-13895 Vocalizing is a subclass of organism process
(externalImage Vocalizing "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1e/ Michael_Ian_Black_-_Stand_Up_-_cropped.jpg") pictureList.kif 3025-3025 Vocalizing is a subclass of organism process

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


(subclass MakingVocalMusic Vocalizing) Merge.kif 13898-13898 Singing is a subclass of vocalizing
(subclass Speaking Vocalizing) Mid-level-ontology.kif 823-823 Speaking is a subclass of vocalizing
(subclass Laughing Vocalizing) Mid-level-ontology.kif 14521-14521 Laughing is a subclass of vocalizing
(termFormat EnglishLanguage Vocalizing "vocalizing") domainEnglishFormat.kif 61839-61839 Laughing is a subclass of vocalizing
(termFormat ChineseTraditionalLanguage Vocalizing "發聲") domainEnglishFormat.kif 61840-61840 Laughing is a subclass of vocalizing
(termFormat ChineseLanguage Vocalizing "发声") domainEnglishFormat.kif 61841-61841 Laughing is a subclass of vocalizing

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


(=>
    (instance ?VOCAL Vocalizing)
    (exists (?CORD ?ORGANISM)
        (and
            (instance ?CORD VocalCords)
            (instrument ?VOCAL ?CORD)
            (part ?CORD ?ORGANISM)
            (instance ?ORGANISM Organism))))
Mid-level-ontology.kif 791-798 If X is an instance of vocalizing, then there exist Y, Z such that Y is an instance of vocal cords, Y is an instrument for X, Y is a part of Z, and Z is an instance of organism


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