| appearance as argument number 1 |
|
| (instance RotationFn BinaryFunction) | Cars.kif 2083-2083 | Rotation fn is an instance of binary function |
| (documentation RotationFn EnglishLanguage "A Function that maps an instance of Rotating to the speed of the rotation.") | Cars.kif 2085-2086 | Rotation fn is an instance of binary function |
| (domain RotationFn 1 Rotating) | Cars.kif 2087-2087 | The number 1 argument of rotation fn is an instance of rotating |
| (range RotationFn FunctionQuantity) | Cars.kif 2088-2088 | The range of rotation fn is an instance of function quantity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage RotationFn "the rotation of %1 during %2") | Cars.kif 2084-2084 | |
| (termFormat EnglishLanguage RotationFn "rotation fn") | domainEnglishFormat.kif 65424-65424 |
| antecedent |
|
|
| (=> (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) (equal (WhenFn ?R1) (WhenFn ?R2)) (instance ?CV CVJoint) (connectedEngineeringComponents ?SH1 ?CV) (connectedEngineeringComponents ?SH2 ?CV) (holdsDuring (WhenFn ?R1) (equal (MeasureFn ?N RevolutionsPerMinute) (RotationFn ?R1)))) (holdsDuring (WhenFn ?R2) (equal (MeasureFn ?N RevolutionsPerMinute) (RotationFn ?R2)))) |
Cars.kif 2097-2123 | If All of the following hold: (1) X is an instance of shaft (2) Y is an instance of shaft (3) equal X and Y (4) Z is an instance of rotating (5) X is a patient of Z (6) W is an instance of rotating (7) Y is a patient of W (8) Z causes W (9) equal the time of existence of Z and the time of existence of W (10) V is an instance of C.V. joint (11) X is connected to V (12) Y is connected to V (13) equal U revolutions per minute(s) and the rotation of Z during holds during the time of existence of Z, then equal U revolutions per minute(s) and the rotation of W during holds during the time of existence of W |
| (=> (and (instance ?AT AutomobileTransmission) (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 ?G1 Gear) (instance ?G2 Gear) (part ?G1 ?AT) (part ?G2 ?AT) (instance ?CR1 Rotating) (instance ?CR2 Rotating) (instance ?GR1 Rotating) (instance ?GR2 Rotating) (instance ?DR1 Rotating) (instance ?DR2 Rotating) (moves ?CR1 ?C) (moves ?CR2 ?C) (moves ?GR1 ?G1) (moves ?GR2 ?G2) (moves ?DR1 ?D) (moves ?DR2 ?D) (causes ?CR1 ?GR1) (causes ?GR1 ?DR1) (causes ?CR2 ?GR2) (causes ?GR2 ?DR2) (not (equal ?CR1 ?CR2)) (not (equal ?G1 ?G2)) (equal (MeasureFn ?NR1 RevolutionsPerMinute) (RotationFn ?CR1)) (equal (MeasureFn ?NR2 RevolutionsPerMinute) (RotationFn ?CR2)) (equal (MeasureFn ?ND1 RevolutionsPerMinute) (RotationFn ?DR1)) (equal (MeasureFn ?ND2 RevolutionsPerMinute) (RotationFn ?DR2)) (equal ?NR1 ?NR2)) (not (equal ?ND1 ?ND2))) |
Cars.kif 2336-2377 | If All of the following hold: (1) X is an instance of transmission (2) Y is an instance of crankshaft (3) Z is an instance of driveshaft (4) W is an instance of automobile (5) Z is a part of W (6) X is a part of W (7) Y is a part of W (8) Y is connected to X (9) Z is connected to X (10) V is an instance of gear (11) U is an instance of gear (12) V is a part of X (13) U is a part of X (14) T is an instance of rotating (15) S is an instance of rotating (16) R is an instance of rotating (17) Q is an instance of rotating (18) P is an instance of rotating (19) O is an instance of rotating (20) Y moves during T (21) Y moves during S (22) V moves during R (23) U moves during Q (24) Z moves during P (25) Z moves during O (26) T causes R (27) R causes P (28) S causes Q (29) Q causes O (30) equal T and S (31) equal V and U (32) equal N revolutions per minute(s) and the rotation of T during (33) equal M revolutions per minute(s) and the rotation of S during (34) equal L revolutions per minute(s) and the rotation of P during (35) equal K revolutions per minute(s) and the rotation of O during (36) equal N and M, then equal L and K |
| (=> (and (engineIdleSpeed ?E (MeasureFn ?RI RevolutionsPerMinute)) (instance ?A Automobile) (instance ?GP GasPedal) (instance ?P Pushing) (destination ?P ?GP) (part ?E ?A) (part ?GP ?A) (instance ?C Crankshaft) (instance ?R1 Rotating) (moves ?R1 ?C) (during (WhenFn ?R1) (WhenFn ?P)) (part ?C ?E) (equal (MeasureFn ?RA RevolutionsPerMinute) (RotationFn ?R1))) (modalAttribute (greaterThan ?RA ?RI) Likely)) |
Cars.kif 2582-2604 | If All of the following hold: (1) the idle speed of X is Y revolutions per minute(s) (2) Z is an instance of automobile (3) W is an instance of gas pedal (4) V is an instance of pushing (5) V ends up at W (6) X is a part of Z (7) W is a part of Z (8) U is an instance of crankshaft (9) T is an instance of rotating (10) U moves during T (11) the time of existence of T takes place during the time of existence of V (12) U is a part of X (13) equal S revolutions per minute(s) and the rotation of T during, then the statement S is greater than Y has the modal force of likely |
| 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) (equal (WhenFn ?R1) (WhenFn ?R2)) (instance ?CV CVJoint) (connectedEngineeringComponents ?SH1 ?CV) (connectedEngineeringComponents ?SH2 ?CV) (holdsDuring (WhenFn ?R1) (equal (MeasureFn ?N RevolutionsPerMinute) (RotationFn ?R1)))) (holdsDuring (WhenFn ?R2) (equal (MeasureFn ?N RevolutionsPerMinute) (RotationFn ?R2)))) |
Cars.kif 2097-2123 | If All of the following hold: (1) X is an instance of shaft (2) Y is an instance of shaft (3) equal X and Y (4) Z is an instance of rotating (5) X is a patient of Z (6) W is an instance of rotating (7) Y is a patient of W (8) Z causes W (9) equal the time of existence of Z and the time of existence of W (10) V is an instance of C.V. joint (11) X is connected to V (12) Y is connected to V (13) equal U revolutions per minute(s) and the rotation of Z during holds during the time of existence of Z, then equal U revolutions per minute(s) and the rotation of W during holds during the time of existence of W |
|
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