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


KB Term:  Term intersection
English Word: 

  Spitting

 Sigma KEE - Spitting
Spitting(spitting)expectoration, ptyalise, ptyalize, spew, spit, spitting, spue

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


(subclass Spitting Impelling) Mid-level-ontology.kif 7637-7637 Spitting is a subclass of impelling
(documentation Spitting EnglishLanguage "Any voluntary instance of Impelling where the origin is the Mouth of the agent.") Mid-level-ontology.kif 7638-7639 Spitting is a subclass of impelling

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


(termFormat EnglishLanguage Spitting "spitting") domainEnglishFormat.kif 54649-54649
(termFormat ChineseTraditionalLanguage Spitting "吐痰") domainEnglishFormat.kif 54650-54650
(termFormat ChineseLanguage Spitting "吐痰") domainEnglishFormat.kif 54651-54651

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


(=>
    (and
        (instance ?SPIT Spitting)
        (agent ?SPIT ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))		 Mid-level-ontology.kif 7641-7649 If X is an instance of spitting and Y is an agent of X, then there exists Z such that Z is an instance of mouth, Z is a part of Y, and X originates at Z

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


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