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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AirPump

Sigma KEE - AirPump
AirPump

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25499-25499
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25497-25497 AirPumpsubclass

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 4101-4101 InvasiveVentilatorAirPumpsubclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4097-4097 NonInvasiveVentilatorAirPumpsubclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25498-25498

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25501-25509


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