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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Pump

Sigma KEE - Pump
Pump(pump)
aspirator, auxiliary_pump, bicycle_pump, bilge_pump, centrifugal_pump, condensation_pump, diffusion_pump, donkey_pump, force_pump, gas_pump, gasoline_pump, grease-gun, gun, hand_pump, heart-lung_machine, hydraulic_pump, hydraulic_ram, ion_pump, island_dispenser, lift_pump, oil_pump, petrol_pump, pump, stirrup_pump, suction_pump

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16822-16822
No TPTP formula. May not be expressible in strict first order. pictureList.kif 155-155
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16821-16821 Pump is a subclass of transportation device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27159-27159 Air pump is a subclass of pump
No TPTP formula. May not be expressible in strict first order. Cars.kif 1036-1036 Fuel pump is a subclass of pump
No TPTP formula. May not be expressible in strict first order. Cars.kif 2749-2749 Water pump is a subclass of pump
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48112-48112 Water pump is a subclass of pump
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48111-48111 Water pump is a subclass of pump
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48110-48110 Water pump is a subclass of pump
No TPTP formula. May not be expressible in strict first order. Cars.kif 2124-2124 A pump typically has a part engine cooling system

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 1748-1768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16824-16832


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