Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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 23041-23043
(subclass Vomiting OrganismProcess) Mid-level-ontology.kif 23039-23039 Vomiting is a subclass of organism process

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


(diseaseMedicine Ondansetron Vomiting Ingesting) Medicine.kif 5096-5096 Ondansetron is disease treatment vomiting for ingesting
(diseaseMedicine Ondansetron Vomiting Injecting) Medicine.kif 5095-5095 Ondansetron is disease treatment vomiting for injecting
(sideEffect Clarithromycin Vomiting) Medicine.kif 3604-3604 Vomiting is a side effect of taking clarithromycin
(sideEffect Doxycycline Vomiting) Medicine.kif 3816-3816 Vomiting is a side effect of taking doxycycline
(sideEffect Hydroxychloroquine Vomiting) Medicine.kif 5627-5627 Vomiting is a side effect of taking hydroxychloroquine
(sideEffect Levocetirizine Vomiting) Medicine.kif 5261-5261 Vomiting is a side effect of taking levocetirizine
(termFormat EnglishLanguage Vomiting "vomiting") Mid-level-ontology.kif 23040-23040 Vomiting is a side effect of taking levocetirizine

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 23047-23061
(=>
    (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 23086-23102

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 23066-23077
(=>
    (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 5017-5029
(=>
    (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 4823-4840


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