consequent

(=>     (attribute ?X PassengerCarRental)     (hasPurpose ?X         (exists (?RENT ?CAR ?CUST)             (and                 (customer ?CUST ?X)                 (instance ?CAR Automobile)                 (instance ?RENT Renting)                 (possesses ?X ?CAR)                 (agent ?RENT ?CUST)))))	naics.kif 9711-9720	If PassengerCarRental is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that customer the third entity and the object and the other entity is an instance of Automobile and the entity is an instance of Renting and the object possesses the other entity and the third entity is an agent of the entity
(=>     (instance ?A AutomobileShock)     (hasPurpose ?A         (exists (?C)             (and                 (instance ?C Automobile)                 (part ?A ?C)))))	Cars.kif 845-851	If a physical is an instance of AutomobileShock, then the physical has the purpose there exists an entity such that the entity is an instance of Automobile and the physical is a part of the entity
(=>     (instance ?AT AutomobileTransmission)     (hasPurpose ?AT         (exists (?C ?D ?A ?R1 ?N1 ?R2 ?R3 ?R4 ?N2 ?N3)             (and                 (instance ?C Crankshaft)                 (instance ?D Driveshaft)                 (instance ?A Automobile)                 (part ?D ?A)                 (part ?AT ?A)                 (part ?C ?A)                 (connectedEngineeringComponents ?C ?AT)                 (connectedEngineeringComponents ?D ?AT)                 (instance ?R1 Rotating)                 (instance ?R2 Rotating)                 (instance ?R3 Rotating)                 (instance ?R4 Rotating)                 (patient ?R1 ?C)                 (patient ?R2 ?C)                 (patient ?R3 ?D)                 (patient ?R4 ?D)                 (causes ?R1 ?R3)                 (causes ?R2 ?R4)                 (not                     (equal ?R1 ?R2))                 (holdsDuring ?R1                     (measure ?C                         (RotationFn ?N1 MinuteDuration)))                 (holdsDuring ?R2                     (measure ?C                         (RotationFn ?N1 MinuteDuration)))                 (holdsDuring ?R3                     (measure ?D                         (RotationFn ?N2 MinuteDuration)))                 (holdsDuring ?R4                     (measure ?D                         (RotationFn ?N3 MinuteDuration)))                 (not                     (equal ?N2 ?N3))))))	Cars.kif 2330-2364	If a physical is an instance of AutomobileTransmission, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity and a tenth entity such that the entity is an instance of Crankshaft and the other entity is an instance of Driveshaft and the third entity is an instance of Automobile and the other entity is a part of the third entity and the physical is a part of the third entity and the entity is a part of the third entity and the entity is connected to the physical and the other entity is connected to the physical and the fourth entity is an instance of Rotating and the sixth entity is an instance of Rotating and the seventh entity is an instance of Rotating and the eighth entity is an instance of Rotating and the entity is a patient of the fourth entity and the entity is a patient of the sixth entity and the other entity is a patient of the seventh entity and the other entity is a patient of the eighth entity and the fourth entity causes the seventh entity and the sixth entity causes the eighth entity and equal the fourth entity and the sixth entity and the measure of the entity is RotationFn the fifth entity and MinuteDuration holds during the fourth entity and the measure of the entity is RotationFn the fifth entity and MinuteDuration holds during the sixth entity and the measure of the other entity is RotationFn the ninth entity and MinuteDuration holds during the seventh entity and the measure of the other entity is RotationFn the tenth entity and MinuteDuration holds during the eighth entity and equal the ninth entity and the tenth entity
(=>     (instance ?D Driveshaft)     (hasPurpose ?D         (exists (?R1 ?R2 ?W ?A)             (and                 (instance ?A Automobile)                 (instance ?W Wheel)                 (part ?D ?A)                 (part ?W ?A)                 (instance ?R1 Rotating)                 (patient ?R1 ?D)                 (patient ?R2 ?W)                 (causes ?R1 ?R2)))))	Cars.kif 2309-2321	If a physical is an instance of Driveshaft, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the fourth entity is an instance of Automobile and the third entity is an instance of Wheel and the physical is a part of the fourth entity and the third entity is a part of the fourth entity and the entity is an instance of Rotating and the physical is a patient of the entity and the third entity is a patient of the other entity and the entity causes the other entity
(=>     (instance ?ECM EngineControlModule)     (hasPurpose ?ECM         (exists (?A ?E ?P1 ?P2)             (and                 (instance ?A Automobile)                 (instance ?E Engine)                 (instance ?P1 Process)                 (instance ?P2 Process)                 (part ?E ?A)                 (part ?ECM ?A)                 (eventLocated ?P1 ?ECM)                 (eventLocated ?P2 ?E)                 (causes ?P1 ?P2)))))	Cars.kif 2503-2516	If a physical is an instance of EngineControlModule, 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 Engine and the third entity is an instance of process and the fourth entity is an instance of process and the other entity is a part of the entity and the physical is a part of the entity and event located the third entity and the physical and event located the fourth entity and the other entity and the third entity causes the fourth entity
(=>     (instance ?EF EngineFan)     (hasPurpose ?EF         (exists (?C ?E ?A)             (and                 (instance ?A Automobile)                 (instance ?C Cooling)                 (instance ?E InternalCombustionEngine)                 (part ?E ?A)                 (part ?EF ?A)                 (instrument ?C ?EF)                 (patient ?C ?E)))))	Cars.kif 2736-2747	If a physical is an instance of EngineFan, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of Automobile and the entity is an instance of cooling and the other entity is an instance of InternalCombustionEngine and the other entity is a part of the third entity and the physical is a part of the third entity and the physical is an instrument for the entity and the other entity is a patient of the entity
(=>     (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 2613-2629	If a physical is an instance of ExhaustManifold, 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 AutomobileMuffler 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 ?EMS EngineMAPSensor)     (hasPurpose ?EMS         (exists (?ECM ?A)             (and                 (instance ?ECM EngineControlModule)                 (instance ?A Automobile)                 (part ?EMS ?A)                 (part ?ECM ?A)                 (connectedEngineeringComponents ?EMS ?ECM)))))	Cars.kif 3347-3356	If a physical is an instance of EngineMAPSensor, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of EngineControlModule and the other entity is an instance of Automobile and the physical is a part of the other entity and the entity is a part of the other entity and the physical is connected to the entity
(=>     (instance ?FB FanBelt)     (hasPurpose ?FB         (exists (?P1 ?P2 ?C ?A)             (and                 (instance ?P1 Pulley)                 (instance ?P2 Pulley)                 (not                     (equal ?P1 ?P2))                 (instance ?C Crankshaft)                 (instance ?A Automobile)                 (part ?P1 ?A)                 (part ?P2 ?A)                 (part ?C ?A)                 (part ?FB ?A)                 (connectedEngineeringComponents ?C ?P1)                 (connectedEngineeringComponents ?P1 ?FB)                 (connectedEngineeringComponents ?FB ?P2)))))	Cars.kif 2695-2712	If a physical is an instance of FanBelt, 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 Pulley and the other entity is an instance of Pulley and equal the entity and the other entity and the third entity is an instance of Crankshaft and the fourth entity is an instance of Automobile and the entity is a part of the fourth entity and the other entity is a part of the fourth entity and the third entity is a part of the fourth entity and the physical is a part of the fourth entity and the third entity is connected to the entity and the entity is connected to the physical and the physical is connected to the other entity
(=>     (instance ?GP GasPedal)     (hasPurpose ?GP         (exists (?P ?T ?F ?E ?A)             (and                 (instance ?P Pushing)                 (instance ?T Transfer)                 (instance ?F Fuel)                 (instance ?E Engine)                 (instance ?A Automobile)                 (part ?GP ?A)                 (part ?E ?A)                 (destination ?P ?GP)                 (destination ?T ?E)                 (patient ?T ?F)                 (causes ?P ?T)))))	Cars.kif 2524-2539	If a physical is an instance of GasPedal, 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 Pushing and the other entity is an instance of transfer and the third entity is an instance of Fuel and the fourth entity is an instance of Engine and the fifth entity is an instance of Automobile and the physical is a part of the fifth entity and the fourth entity is a part of the fifth entity and the entity ends up at the physical and the other entity ends up at the fourth entity and the third entity is a patient of the other entity and the entity causes the other entity
(=>     (instance ?ICM IgnitionControlModule)     (hasPurpose ?ICM         (exists (?S ?A ?CP)             (and                 (instance ?A Automobile)                 (instance ?S Spark)                 (instance ?CP ComputerProcess)                 (part ?ICM ?A)                 (eventLocated ?CP ?A)                 (eventLocated ?S ?A)                 (causes ?CP ?S)))))	Cars.kif 3243-3254	If a physical is an instance of IgnitionControlModule, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of Automobile and the entity is an instance of Spark and the third entity is an instance of ComputerProcess and the physical is a part of the other entity and event located the third entity and the other entity and event located the entity and the other entity and the third entity causes the entity
(=>     (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 ?IVE InteriorVehicleEquipment)     (hasPurpose ?IVE         (exists (?V ?E)             (and                 (instance ?V Automobile)                 (instance ?E Engine)                 (part ?E ?V)                 (not                     (part ?IVE ?E))                 (part ?IVE ?V)                 (orientation ?IVE ?V Inside)))))	Cars.kif 4755-4766	If a physical is an instance of InteriorVehicleEquipment, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of Automobile and the other entity is an instance of Engine and the other entity is a part of the entity and the physical is not a part of the other entity and the physical is a part of the entity and the physical is Inside to the entity
(=>     (instance ?PCVV PositiveCrankcaseVentilationValve)     (hasPurpose ?PCVV         (exists (?CR ?F ?CC ?T ?A)             (and                 (instance ?CR Crankcase)                 (instance ?F Fuel)                 (instance ?CC CombustionChamber)                 (instance ?T Transfer)                 (instance ?A Automobile)                 (part ?CR ?A)                 (part ?CC ?A)                 (part ?PCVV ?A)                 (origin ?T ?CR)                 (destination ?T ?CC)                 (objectTransferred ?T ?F)                 (path ?T ?PCVV)))))	Cars.kif 3879-3895	If a physical is an instance of PositiveCrankcaseVentilationValve, 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 Crankcase and the other entity is an instance of Fuel and the third entity is an instance of CombustionChamber and the fourth entity is an instance of transfer and the fifth entity is an instance of Automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and objectTransferred the fourth entity and the other entity and the physical is path along which the fourth entity occurs
(=>     (instance ?S AutomobileSeat)     (hasPurpose ?S         (exists (?H ?T ?V)             (and                 (instance ?H Human)                 (instance ?V Automobile)                 (holdsDuring ?T                     (and                         (attribute ?H Sitting)                         (located ?H ?S)                         (located ?S ?V)))))))	Cars.kif 5107-5118	If a physical is an instance of AutomobileSeat, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the third entity is an instance of Automobile and Sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
(=>     (instance ?SVC ShuttleService)     (exists (?LIST ?VEHICLE ?AGENT)         (and             (agent ?SVC ?AGENT)             (possesses ?AGENT ?VEHICLE)             (instance ?VEHICLE Automobile)             (instance ?LIST List)             (forall (?X)                 (=>                     (inList ?X ?LIST)                     (and                         (instance ?X PostalPlace)                         (exists (?TRANSPORT)                             (and                                 (instance ?TRANSPORT Transportation)                                 (agent ?TRANSPORT ?AGENT)                                 (instrument ?TRANSPORT ?VEHICLE)                                 (destination ?TRANSPORT ?X)))))))))	Hotel.kif 2046-2064	If a process is an instance of ShuttleService, then there exist a list, an object and an agent such that the agent is an agent of the process and the agent possesses the object and the object is an instance of Automobile and the list is an instance of list and for all an entity if the entity is a member of the list, then the entity is an instance of PostalPlace and there exists another process such that the other process is an instance of transportation and the agent is an agent of the other process and the object is an instrument for the other process and the other process ends up at the entity
(=>     (instance ?VRR VehicleRoofRack)     (hasPurpose ?VRR         (exists (?T ?A ?C)             (and                 (instance ?T Transfer)                 (patient ?T ?C)                 (instance ?A Automobile)                 (orientation ?VRR ?A Outside)                 (meetsSpatially ?C ?VRR)                 (part ?VRR ?A)                 (instrument ?T ?A)))))	Cars.kif 4730-4741	If a physical is an instance of VehicleRoofRack, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the third entity is a patient of the entity and the other entity is an instance of Automobile and the physical is Outside to the other entity and the third entity meets the physical and the physical is a part of the other entity and the other entity is an instrument for the entity
(=>     (instance ?X AutoAirbag)     (hasPurpose ?X         (exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)             (and                 (instance ?CAR Automobile)                 (part ?X ?CAR)                 (instance ?PERSON Human)                 (contains ?CAR ?PERSON)                 (instance ?IMP Impacting)                 (patient ?IMP ?CAR)                 (instance ?INF Inflating)                 (patient ?INF ?X)                 (causes ?IMP ?INF)                 (hinders ?INF                     (KappaFn ?INJ                         (and                             (instance ?INJ Injuring)                             (experiencer ?INJ ?PERSON)                             (exists (?HIT)                                 (and                                     (instance ?HIT Impacting)                                     (destination ?HIT ?CAR)                                     (experiencer ?HIT ?PERSON)                                     (causes ?HIT ?INJ))))))))))	Cars.kif 3693-3717	If a physical is an instance of AutoAirbag, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of Automobile and the physical is a part of the entity and the other entity is an instance of human and the entity contains the other entity and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of Inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and hinders the fourth entity and the class described by the fifth entity
(=>     (instance ?X SteeringColumnLock)     (hasPurpose ?X         (exists (?SC ?P ?CAR ?T)             (and                 (instance ?SC SteeringColumn)                 (instance ?CAR Automobile)                 (component ?SC ?CAR)                 (part ?X ?SC)                 (instance ?P Protecting)                 (instrument ?P ?X)                 (decreasesLikelihood                     (holdsDuring ?T                         (attribute ?X Locked))                     (holdsDuring ?T                         (exists (?STEAL)                             (and                                 (instance ?STEAL Stealing)                                 (patient ?STEAL ?CAR)))))))))	Cars.kif 4055-4073	If a physical is an instance of SteeringColumnLock, 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 SteeringColumn and the third entity is an instance of Automobile and the entity is a component of the third entity and the physical is a part of the entity and the other entity is an instance of Protecting and the physical is an instrument for the other entity and Locked is an attribute of the physical holds during the fourth entity decreases likelihood of there exists a fifth entity such that the fifth entity is an instance of Stealing and the third entity is a patient of the fifth entity holds during the fourth entity

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