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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NonInvasiveVentilator
NonInvasiveVentilator

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


(disjoint NonInvasiveVentilator InvasiveVentilator) Medicine.kif 4096-4096 NonInvasiveVentilator is disjoint from InvasiveVentilator
(subclass NonInvasiveVentilator AirPump) Medicine.kif 4097-4097 NonInvasiveVentilator is a subclass of air pump

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


(subclass BIPAPVentilator NonInvasiveVentilator) Medicine.kif 4071-4071 BIPAP is a subclass of NonInvasiveVentilator
(subclass CPAPVentilator NonInvasiveVentilator) Medicine.kif 4092-4092 Continuous positive airway pressure ventilator is a subclass of NonInvasiveVentilator


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