Spitting - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Spitting "吐痰")	domainEnglishFormat.kif 54694-54694
(termFormat ChineseTraditionalLanguage Spitting "吐痰")	domainEnglishFormat.kif 54693-54693
(termFormat EnglishLanguage Spitting "spitting")	domainEnglishFormat.kif 54692-54692

antecedent

(=>
    (and
        (instance ?SPIT Spitting)
        (agent ?SPIT ?ANIMAL))
    (exists (?MOUTH)
        (and
            (instance ?MOUTH Mouth)
            (part ?MOUTH ?ANIMAL)
            (origin ?SPIT ?MOUTH))))

Mid-level-ontology.kif 6547-6555

If a process is an instance of spitting and an agent is an agent of the process,
then there exists an object such that the object is an instance of mouth and the object is a part of the agent and the process originates at the object

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 5326-5340

If hypersalivation is an attribute of an entity holds during a time position,
then the statement there exists another entity such that the entity experiences the other entity and the time of existence of the other entity takes place during the time position and the other entity is an instance of spitting or the other entity is an instance of drooling or the other entity 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: