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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Vomiting

 Sigma KEE - Vomiting
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 21407-21409
(subclass Vomiting OrganismProcess) Mid-level-ontology.kif 21405-21405 Vomiting は 生物プロセス の subclass では %n

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


(diseaseMedicine Ondansetron Vomiting Ingesting) Medicine.kif 5089-5089 diseaseMedicine Ondansetron, Vomiting and 摂取
(diseaseMedicine Ondansetron Vomiting Injecting) Medicine.kif 5088-5088 diseaseMedicine Ondansetron, Vomiting and Injecting
(sideEffect Clarithromycin Vomiting) Medicine.kif 3601-3601 sideEffect Clarithromycin and Vomiting
(sideEffect Doxycycline Vomiting) Medicine.kif 3813-3813 sideEffect Doxycycline and Vomiting
(sideEffect Hydroxychloroquine Vomiting) Medicine.kif 5618-5618 sideEffect Hydroxychloroquine and Vomiting
(sideEffect Levocetirizine Vomiting) Medicine.kif 5252-5252 sideEffect Levocetirizine and Vomiting
(termFormat EnglishLanguage Vomiting "vomiting") Mid-level-ontology.kif 21406-21406

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 21413-21427
(=>
    (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 21452-21468

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 21432-21443
(=>
    (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 5010-5022
(=>
    (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 4816-4833


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 is open source software produced by Articulate Software and its partners