consequent

(=>     (and         (instance ?SH1 Shaft)         (instance ?SH2 Shaft)         (not             (equal ?SH1 ?SH2))         (instance ?R1 Rotating)         (patient ?R1 ?SH1)         (instance ?R2 Rotating)         (patient ?R2 ?SH2)         (causes ?R1 ?R2)         (instance ?CV CVJoint)         (connectedEngineeringComponents ?R1 ?CV)         (connectedEngineeringComponents ?R2 ?CV)         (holdsDuring             (WhenFn ?R1)             (equal ?SH1                 (RotationFn ?N ?T))))     (holdsDuring         (WhenFn ?R2)         (equal ?SH2             (RotationFn ?N ?T))))	Cars.kif 2098-2117	If an entity is an instance of Shaft and another entity is an instance of Shaft and equal the entity and the other entity and an engineering component is an instance of Rotating and the entity is a patient of the engineering component and another engineering component is an instance of Rotating and the other entity is a patient of the other engineering component and the engineering component causes the other engineering component and a third engineering component is an instance of CVJoint and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component and equal the entity and RotationFn a third entity and a fourth entity holds during the time of existence of the engineering component, then equal the other entity and RotationFn the third entity and the fourth entity holds during the time of existence of the other engineering component
(=>     (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

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