Pump - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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

(documentation Pump EnglishLanguage "A Device that moves Fluids by means of pressure or suction.")	Mid-level-ontology.kif 16822-16822
(externalImage Pump "http://upload.wikimedia.org/wikipedia/commons/3/35/ Fuggerei_Waterpump.jpg")	pictureList.kif 155-155
(subclass Pump TransportationDevice)	Mid-level-ontology.kif 16821-16821	Pump is a subclass of transportation device

appearance as argument number 2

(subclass AirPump Pump)	Mid-level-ontology.kif 27159-27159	Air pump is a subclass of pump
(subclass FuelPump Pump)	Cars.kif 1036-1036	Fuel pump is a subclass of pump
(subclass WaterPump Pump)	Cars.kif 2749-2749	Water pump is a subclass of pump
(termFormat ChineseLanguage Pump "泵")	domainEnglishFormat.kif 48112-48112	Water pump is a subclass of pump
(termFormat ChineseTraditionalLanguage Pump "泵")	domainEnglishFormat.kif 48111-48111	Water pump is a subclass of pump
(termFormat EnglishLanguage Pump "pump")	domainEnglishFormat.kif 48110-48110	Water pump is a subclass of pump
(typicallyContainsPart EngineCoolingSystem Pump)	Cars.kif 2124-2124	A pump typically has a part engine cooling system

antecedent

(=> (and (instance ?C Cavitating) (instance ?P Pump) (attribute ?P DeviceOn) (attribute ?L1 Liquid) (contains ?P ?L1)) (exists (?PP ?L2) (and (part ?PP ?P) (hasPurpose ?PP (and (attribute ?L2 Liquid) (meetsSpatially ?L2 ?PP))) (holdsDuring (WhenFn ?C) (not (exists (?L3) (and (attribute ?L3 Liquid) (meetsSpatially ?PP ?L3))))))))	Cars.kif 1748-1768	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 contains the object, then there exist the self connected objectP and an entity such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose liquid is an attribute of the 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
(=> (and (instance ?T Transportation) (instrument ?T ?D) (instance ?D Pump)) (exists (?F) (and (instrument ?T ?F) (attribute ?F Fluid))))	Mid-level-ontology.kif 16824-16832	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 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