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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(diseaseMedicine Ondansetron Vomiting Ingesting) Medicine.kif 5089-5089 Ondansetron 是 对于 消化 的 dis​​ease 治愈 Vomiting
(diseaseMedicine Ondansetron Vomiting Injecting) Medicine.kif 5088-5088 Ondansetron 是 对于 注射 的 dis​​ease 治愈 Vomiting
(sideEffect Clarithromycin Vomiting) Medicine.kif 3601-3601 Vomiting 是服用 Clarithromycin 的 side effect
(sideEffect Doxycycline Vomiting) Medicine.kif 3813-3813 Vomiting 是服用 多西环素 的 side effect
(sideEffect Hydroxychloroquine Vomiting) Medicine.kif 5618-5618 Vomiting 是服用 Hydroxychloroquine 的 side effect
(sideEffect Levocetirizine Vomiting) Medicine.kif 5252-5252 Vomiting 是服用 Levocetirizine 的 side effect
(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 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