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


KB Term:  Term intersection
English Word: 

Sigma KEE - Vomiting
Vomiting(vomiting)barf, be_sick, cast, cat, chuck, disgorge, disgorgement, emesis, haematemesis, hematemesis, honk, hyperemesis, puke, puking, purge, regorge, regurgitate, regurgitation, retch, rumination, sick, spew, spue, throw_up, upchuck, vomit, vomit_up, vomiting

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


(subclass Vomiting OrganismProcess) Mid-level-ontology.kif 23713-23713 Vomiting is a subclass of organism process
(documentation Vomiting EnglishLanguage "The process by which an Organism expells the contents of its Stomach. Although usually involuntary, a Human can induce vomiting in itself, so this cannot be a purely AutonomicProcess.") Mid-level-ontology.kif 23715-23717 Vomiting is a subclass of organism process

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


(termFormat EnglishLanguage Vomiting "vomiting") Mid-level-ontology.kif 23714-23714
(sideEffect Clarithromycin Vomiting) Medicine.kif 3594-3594 Vomiting is a side effect of taking clarithromycin
(sideEffect Doxycycline Vomiting) Medicine.kif 3809-3809 Vomiting is a side effect of taking doxycycline
(diseaseMedicine Ondansetron Vomiting Injecting) Medicine.kif 5071-5071 Ondansetron is disease treatment vomiting for injecting
(diseaseMedicine Ondansetron Vomiting Ingesting) Medicine.kif 5072-5072 Ondansetron is disease treatment vomiting for ingesting
(sideEffect Levocetirizine Vomiting) Medicine.kif 5236-5236 Vomiting is a side effect of taking levocetirizine
(sideEffect Hydroxychloroquine Vomiting) Medicine.kif 5603-5603 Vomiting is a side effect of taking hydroxychloroquine

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


(=>
    (and
        (instance ?V Vomiting)
        (experiencer ?V ?A))
    (exists (?S ?O)
        (and
            (instance ?S Stomach)
            (part ?S ?A)
            (holdsDuring
                (BeginFn
                    (WhenFn ?V))
                (located ?O ?S))
            (holdsDuring
                (EndFn
                    (WhenFn ?V))
                (not
                    (located ?O ?A))))))
Mid-level-ontology.kif 23721-23735 If X is an instance of vomiting and Y experiences X, then there exist Z, W such that Z is an instance of stomach, Z is a part of Y, W is located at Z holds during the beginning of the time of existence of X, and W is not located at Y holds during the end of the time of existence of X
(=>
    (and
        (instance ?V Vomiting)
        (instance ?O Vomit)
        (patient ?V ?O)
        (experiencer ?V ?A))
    (exists (?S)
        (and
            (instance ?S Stomach)
            (part ?S ?A)
            (holdsDuring
                (BeginFn
                    (WhenFn ?V))
                (located ?O ?S))
            (holdsDuring
                (EndFn
                    (WhenFn ?V))
                (not
                    (located ?O ?A))))))
Mid-level-ontology.kif 23760-23776 If X is an instance of vomiting, Y is an instance of vomit, Y is a patient of X, and Z experiences X, then there exists W such that W is an instance of stomach, W is a part of Z, Y is located at W holds during the beginning of the time of existence of X, and Y is not located at Z holds during the end of the time of existence of X

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


(=>
    (and
        (instance ?N Nausea)
        (experiencer ?N ?H))
    (believes ?H
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?N))
            (exists (?V)
                (and
                    (instance ?V Vomiting)
                    (experiencer ?V ?H))))))
Mid-level-ontology.kif 23740-23751 If X is an instance of nausea and Y experiences X, then Y believes there exists Z such that Z is an instance of vomiting and Y experiences Z holds during immediately after the time of existence of X
(=>
    (instance ?P Pedialyte)
    (hasPurpose ?P
        (exists (?C ?D ?V ?DR)
            (and
                (instance ?C HumanChild)
                (instance ?D Diarrhea)
                (instance ?V Vomiting)
                (or
                    (and
                        (experiencer ?D ?C)
                        (earlier
                            (WhenFn ?D)
                            (WhenFn ?DR)))
                    (and
                        (experiencer ?V ?C)
                        (earlier
                            (WhenFn ?V)
                            (WhenFn ?DR))))
                (instance ?DR Drinking)
                (agent ?DR ?C)
                (objectTransferred ?DR ?P)))))
Medicine.kif 4799-4816 If X is an instance of Pedialyte, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of human child (3) Z is an instance of diarrhea (4) W is an instance of vomiting (5) Y experiences Z (6) the time of existence of Z happens earlier than the time of existence of V or Y experiences W (7) the time of existence of W happens earlier than the time of existence of V (8) V is an instance of drinking (9) Y is an agent of V (10) the object transferred in V is X
(=>
    (attribute ?H Bulimia)
    (exists (?E ?P)
        (and
            (instance ?E Eating)
            (or
                (instance ?P Vomiting)
                (instance ?P Defecating))
            (agent ?P ?H)
            (wants ?H ?P)
            (earlier
                (WhenFn ?E)
                (WhenFn ?P)))))
Medicine.kif 4993-5005 If bulimia nervosa is an attribute of X, then there exist Y, Z such that Y is an instance of eating, Z is an instance of vomiting or Z is an instance of Defecating, X is an agent of Z, X wants Z, and the time of existence of Y happens earlier than the time of existence of Z


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