Vomiting - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21406-21408
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21404-21404	Vomiting 是机体过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5089-5089	Ondansetron 是对于消化的 disease 治愈 Vomiting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5088-5088	Ondansetron 是对于注射的 disease 治愈 Vomiting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3601-3601	Vomiting 是服用 Clarithromycin 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3813-3813	Vomiting 是服用多西环素的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5618-5618	Vomiting 是服用 Hydroxychloroquine 的 side effect
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5252-5252	Vomiting 是服用 Levocetirizine 的 side effect
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21405-21405

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21412-21426	如果过程是 Vomiting 的 instance 和施事体经历了那个过程，然后有存在客体和实体这样那个客体是胃的 instance 和那个客体是那个施事体的 part 和那个实体是 located 在那个客体在那个过程出现的 time 的开始 holdsDuring 和那个实体不是 located 在那个施事体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21451-21467	如果过程是 Vomiting 的 instance 和实体是 Vomit 的 instance 和那个实体是那个过程的 patient 和施事体经历了那个过程，然后有存在客体这样那个客体是胃的 instance 和那个客体是那个施事体的 part 和那个实体是 located 在那个客体在那个过程出现的 time 的开始 holdsDuring 和那个实体不是 located 在那个施事体在那个过程出现的 time 的结束 holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21431-21442	如果过程是 Nausea 的 instance 和有认知的主事经历了那个过程，然后那个有认知的主事 believes 有存在实体这样那个实体是 Vomiting 的 instance 和那个有认知的主事经历了那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5010-5022	如果 Bulimia 是有认知的主事的 attribute，然后有存在物理和过程这样那个物理是进食的 instance 和那个过程是 Vomiting 的 instance 或那个过程是 Defecating 的 instance 和那个有认知的主事是那个过程的 agent 和那个有认知的主事 wants 那个过程和那个物理出现的 time 比那个过程出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4816-4833	如果物理是 Pedialyte 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和那个另外实体R 这样那个实体是人类的孩子的 instance 和那个另外实体是腹泻的 instance 和那个第三实体是 Vomiting 的 instance 和那个实体经历了那个另外实体和那个另外实体出现的 time 比那个另外实体R 出现的 time发生的earlier 或那个实体经历了那个第三实体和那个第三实体出现的 time 比那个另外实体R 出现的 time发生的earlier 和那个另外实体R 是饮的 instance 和那个实体是那个另外实体R 的 agent 和 objectTransferred 那个另外实体R and 那个物理

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