consequent

(=>     (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 FourStrokeIntake and an object is an instance of EngineCylinder and a hole is an instance of InternalCombustionChamber and equal the object and the host of the hole the hole and event located the process and the object, then there exist the processV and another process such that the other process is an instance of GasMotion and the processV is an instance of FuelVapor 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
(=>     (instance ?IV IntakeValve)     (hasPurpose ?IV         (exists (?A ?FV ?CC ?T)             (and                 (instance ?A Automobile)                 (instance ?FV FuelVapor)                 (instance ?CC CombustionChamber)                 (instance ?T Transfer)                 (part ?IV ?A)                 (part ?CC ?A)                 (patient ?T ?FV)                 (path ?T ?IV)                 (destination ?T ?CC)))))	Cars.kif 2674-2687	If a physical is an instance of IntakeValve, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of Automobile and the other entity is an instance of FuelVapor and the third entity is an instance of CombustionChamber and the fourth 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 other entity is a patient of the fourth entity and the physical is path along which the fourth entity occurs and the fourth entity ends up at the third entity
(=>     (instance ?MHCV ManifoldHeatControlValve)     (hasPurpose ?MHCV         (exists (?H ?O ?E ?FV ?T)             (and                 (instance ?H Heating)                 (instance ?O Opening)                 (instance ?E Exhaust)                 (instance ?T Transfer)                 (instance ?FV FuelVapor)                 (patient ?O ?MHCV)                 (instrument ?H ?E)                 (patient ?H ?FV)                 (path ?T ?MHCV)                 (causes ?O ?T)                 (causes ?T ?H)))))	Cars.kif 3323-3338	If a physical is an instance of ManifoldHeatControlValve, 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 heating and the other entity is an instance of Opening and the third entity is an instance of Exhaust and the fifth entity is an instance of transfer and the fourth entity is an instance of FuelVapor and the physical is a patient of the other entity and the third entity is an instrument for the entity and the fourth entity is a patient of the entity and the physical is path along which the fifth entity occurs and the other entity causes the fifth entity and the fifth entity causes the entity

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