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


KB Term:  Term intersection
English Word: 

Sigma KEE - Drooling
Drooling(drooling)

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


(subclass Drooling Impelling) Mid-level-ontology.kif 7651-7651 Drooling is a subclass of impelling
(documentation Drooling EnglishLanguage "Any voluntary instance of Impelling Saliva where the origin is the Mouth of the agent.") Mid-level-ontology.kif 7652-7653 Drooling is a subclass of impelling

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


(termFormat EnglishLanguage Drooling "drooling") domainEnglishFormat.kif 64794-64794

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


(=>
    (and
        (instance ?SPIT Drooling)
        (experiencer ?SPIT ?ANIMAL))
    (exists (?MOUTH ?S)
        (and
            (instance ?MOUTH Mouth)
            (objectTransferred ?SPIT ?S)
            (instance ?S Saliva)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))		 Mid-level-ontology.kif 7655-7665 If X is an instance of drooling and Y experiences X, then there exist Z, W such that Z is an instance of mouth, the object transferred in X is W, W is an instance of saliva, Z is a part of Y, and X originates at Z

consequent
-------------------------


(=>
    (instance ?S Saliva)
    (capability Drooling patient ?S))		 Mid-level-ontology.kif 7667-7669 If X is an instance of saliva, then X is capable of doing drooling as a patient
(=>
    (instance ?A Animal)
    (capability Drooling experiencer ?A))		 Mid-level-ontology.kif 7671-7673 If X is an instance of animal, then X is capable of doing drooling as a experiencer
(=>
    (holdsDuring ?T
        (attribute ?H Hypersalivation))
    (modalAttribute
        (exists (?S)
            (and
                (experiencer ?S ?H)
                (during
                    (WhenFn ?S) ?T)
                (or
                    (instance ?S Spitting)
                    (instance ?S Drooling)
                    (instance ?S Nausea)))) Likely))		 Medicine.kif 5348-5362 If hypersalivation is an attribute of X holds during Y, then the statement there exists Z such that X experiences Z, the time of existence of Z takes place during Y, and Z is an instance of spitting, Z is an instance of drooling, or Z is an instance of nausea has the modal force of likely


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners