TreeView Knowledge Base Browser - Pump

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 13160-13160
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 13159-13159	Pump is a subclass of transportation device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1205-1205	Air pump is a subclass of pump
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1027-1027	Fuel pump is a subclass of pump
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2750-2750	Water pump is a subclass of pump
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48104-48104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48103-48103
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48102-48102
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2127-2127	A pump typically has a part engine cooling system

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1737-1757	If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object は the object を contains %n{ない}, then there exists the self connected objectP such that the self connected objectP is a part of the self connected object and the self connected objectP purpose liquid is an attribute of an entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13162-13170	If a process is an instance of transportation and an object is an instrument for the process and the object is an instance of pump, then there exists another object such that the other object is an instrument for the process and fluid is an attribute of the other object

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