TreeView Knowledge Base Browser - EngineCylinder

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - EngineCylinder

EngineCylinder

cylinder, piston_chamber

appearance as argument number 1

(documentation EngineCylinder EnglishLanguage "A single cylinder of an Engine block and its associated components.")	Cars.kif 308-309
(subclass EngineCylinder Artifact)	Cars.kif 307-307	EngineCylinder is a subclass of artifact

appearance as argument number 2

(typicalPart Piston EngineCylinder)	Cars.kif 344-344	A piston is typically a part of a EngineCylinder
(typicallyContainsPart Piston EngineCylinder)	Cars.kif 345-345	A EngineCylinder typically has a part piston

antecedent

(=> (and (instance ?E EngineCylinder) (instance ?C Crankcase) (instance ?P Piston) (instance ?T TwoStrokeTransfer) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?C)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?C))))	Cars.kif 509-521	If an object is an instance of EngineCylinder and a hole is an instance of Crankcase and a physical is an instance of piston and a process is an instance of two stroke transfer and the physical is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at 2, then the physical has the purpose the physical partially fills the hole holds during the process
(=> (and (instance ?E EngineCylinder) (instance ?I InternalCombustionChamber) (instance ?P Piston) (instance ?T TwoStrokeIntake) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?I)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?I))))	Cars.kif 463-475	If an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and a physical is an instance of piston and a process is an instance of two stroke intake and the physical is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at 2, then the physical has the purpose the physical partially fills the hole holds during the process
(=> (and (instance ?EC EngineChoke) (holdsDuring ?FSC1 (attribute ?EC DeviceOn)) (holdsDuring ?FSC2 (attribute ?EC DeviceOff)) (instance ?C EngineCylinder) (capacity ?C ?M) (instance ?FSC1 FourStrokeCompression) (instance ?FSC2 FourStrokeCompression) (eventLocated ?FSC1 ?C) (eventLocated ?FSC2 ?C) (instance ?A1 Air) (instance ?F1 Fuel) (part ?A1 ?MIX1) (part ?F1 ?MIX1) (measure ?MIX1 ?M) (instance ?A2 Air) (instance ?F2 Fuel) (part ?A2 ?MIX2) (part ?F2 ?MIX2) (measure ?MIX2 ?M) (instance ?U UnitOfMeasure) (measure ?A1 (MeasureFn ?A1M ?U)) (measure ?A2 (MeasureFn ?A2M ?U)) (measure ?F1 (MeasureFn ?F1M ?U)) (measure ?F2 (MeasureFn ?F2M ?U))) (greaterThan (DivisionFn ?A2M ?F2M) (DivisionFn ?A1M ?F1M)))	Cars.kif 1314-1348	If an entity is an instance of engine choke and device on is an attribute of the entity holds during a process and device off is an attribute of the entity holds during another process and a self connected object is an instance of EngineCylinder and a constant quantity is a capacity of the self connected object and the process is an instance of four stroke compression and the other process is an instance of four stroke compression and the process is located at 2 and the other process is located at 2 and an object is an instance of air and another object is an instance of fuel and the object is a part of the constant quantityIX1 and the other object is a part of the constant quantityIX1 and the measure of the constant quantityIX1 is the constant quantity and a fourth object is an instance of air and a fifth object is an instance of fuel and the fourth object is a part of the constant quantityIX2 and the fifth object is a part of the constant quantityIX2 and the measure of the constant quantityIX2 is the constant quantity and an unit of measure is an instance of unit of measure and the measure of the object is the objectM the unit of measure(s) and the measure of the fourth object is the fourth objectM the unit of measure(s) and the measure of the other object is the other objectM the unit of measure(s) and the measure of the fifth object is the fifth objectM the unit of measure(s), then the fourth objectM and the fifth objectM is greater than the objectM and the other objectM
(=> (and (instance ?F FourStrokeCombustion) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?CO) (and (instance ?CO Combustion) (subProcess ?CO ?F))))	Cars.kif 207-217	If a process is an instance of four stroke combustion and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exists the objectO such that the objectO is an instance of combustion and the objectO is a subprocess of the process
(=> (and (instance ?F FourStrokeCompression) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (holdsDuring (EndFn (WhenFn ?F)) (attribute ?I Pressurized)))	Cars.kif 191-200	If a process is an instance of four stroke compression and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then pressurized is an attribute of the hole holds during the end of the time of existence of the process
(=> (and (instance ?F FourStrokeExhaust) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?E ?M) (and (instance ?M GasMotion) (instance ?E Exhaust) (subProcess ?M ?F) (origin ?M ?I) (patient ?M ?E))))	Cars.kif 225-238	If a process is an instance of four stroke exhaust and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
(=> (and (instance ?F FourStrokeIntake) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?F ?C)) (exists (?FV ?M) (and (instance ?M GasMotion) (instance ?FV FuelVapor) (subProcess ?M ?F) (destination ?M ?I) (patient ?M ?FV))))	Cars.kif 171-184	If a process is an instance of four stroke intake and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exist the processV and another process such that the other process is an instance of gas motion and the processV is an instance of fuel vapor and the other process is a subprocess of the process and the other process ends up at the hole and the processV is a patient of the other process
(=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP) (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC) (path ?T ?P)) (hasPurpose ?T (exists (?FF) (and (instance ?FF FuelFilter) (betweenOnPath ?GT ?FF ?EC ?P)))))	Cars.kif 1070-1090	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a motion is an instance of transportation and a process is an instance of fuel and the process is a patient of the motion and the object is an instrument for the process and a third object is an instance of gas tank and the third object is a part of the other object and a fourth object is an instance of EngineCylinder and the fourth object is a part of the other object and the motion originates at the third object and the motion ends up at the fourth object and a fifth object is path along which the motion occurs, then the motion has the purpose there exists the processF such that the processF is an instance of fuel filter and the third object between on path the processF for the fourth object
(=> (and (instance ?T TwoStrokeTransfer) (instance ?C EngineCylinder) (instance ?I InternalCombustionChamber) (equal ?C (HoleHostFn ?I)) (eventLocated ?T ?C)) (exists (?E ?M) (and (instance ?M GasMotion) (instance ?E Exhaust) (subProcess ?M ?T) (origin ?M ?I) (patient ?M ?E))))	Cars.kif 523-536	If a process is an instance of two stroke transfer and an object is an instance of EngineCylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at 2, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
(=> (instance ?E EngineCylinder) (exists (?H) (and (instance ?H InternalCombustionChamber) (equal ?E (HoleHostFn ?H)))))	Cars.kif 317-322	If an object is an instance of EngineCylinder, then there exists a hole such that the hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole

consequent

(=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP)) (hasPurpose ?FP (exists (?GT ?EC) (and (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC)))))	Cars.kif 1051-1068	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a process is an instance of transportation and another process is an instance of fuel and the other process is a patient of the process and the object is an instrument for the other process, then the object has the purpose there exist an entity and another entity such that the entity is an instance of gas tank and the entity is a part of the other object and the other entity is an instance of EngineCylinder and the other entity is a part of the other object and the process originates at the entity and the process ends up at the other entity
(=> (engineCylinders ?E ?N) (exists (?G) (and (instance ?G Collection) (memberTypeCount ?G EngineCylinder ?N) (member ?EC ?G) (part ?EC ?E))))	Cars.kif 4534-4541	If engine an engine has a nonnegative integer cylinders, then there exists a collection such that the collection is an instance of collection and the collection is member type count EngineCylinder for the nonnegative integer and the engineC is a member of the collection and the engineC is a part of the engine
(=> (instance ?B Backfire) (exists (?E ?NC) (and (not (instance ?NC EngineCylinder)) (instance ?E Engine) (part ?NC ?E) (eventLocated ?B ?NC))))	Cars.kif 1354-1362	If a process is an instance of backfire, then there exist an object and another object such that the other object is not an instance of EngineCylinder and the object is an instance of engine and the other object is a part of the object and the process is located at 2
(=> (instance ?EM ExhaustManifold) (hasPurpose ?EM (exists (?A ?E ?C ?M ?T) (and (instance ?A Automobile) (instance ?E Exhaust) (instance ?C EngineCylinder) (instance ?M AutomobileMuffler) (instance ?T Transfer) (part ?EM ?A) (part ?C ?A) (part ?M ?A) (origin ?T ?C) (destination ?T ?M) (patient ?T ?E) (instrument ?T ?E)))))	Cars.kif 2629-2645	If a physical is an instance of exhaust manifold, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of automobile and the other entity is an instance of exhaust and the third entity is an instance of EngineCylinder and the fourth entity is an instance of muffler and the fifth entity is an instance of transfer and the physical is a part of the entity and the third entity is a part of the entity and the fourth entity is a part of the entity and the fifth entity originates at the third entity and the fifth entity ends up at the fourth entity and the other entity is a patient of the fifth entity and the other entity is an instrument for the fifth entity
(=> (instance ?FSE FourStrokeEngine) (exists (?C) (and (instance ?C EngineCylinder) (part ?C ?FSE))))	Cars.kif 107-112	If an object is an instance of four stroke engine, then there exists another object such that the other object is an instance of EngineCylinder and the other object is a part of the 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