No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4097-4097 | NonInvasiveVentilator 是 AirPump 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4071-4071 | BIPAPVentilator 是 NonInvasiveVentilator 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4092-4092 | CPAPVentilator 是 NonInvasiveVentilator 的 subclass |