Physics Questions - Equation Sets

Phys: Question 2.13


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair x0   '(the x-pos of (the origin of ?the-move)))
                (:pair ac   '(the acceleration of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v0   '((the velocity of ?the-move) called "v0"))
                (:pair v    '((the velocity of ?the-move) called "v"))
                (:pair v-av '((the velocity of ?the-move) called "v-av"))))))
       (model-equations
        (('(= v (+ v0 (* ac t)))
          '(= x (+ x0 (+ * v0 t) (* (* 0.5 ac) (expt t 2))))
          '(= v (sqrt (+ (expt v0 2) (* (* 2 ac) (- x x0)))))
          '(= v-av (/ (+ v v0) 2))))))

;;; Composition-Equation-Set
(Composition-Equation-Set has (superclasses (Equation-Set)))

(every Composition-Equation-Set has
       (model-symbols
        ((
           (?the-first-movement == (the first Move has-part of 
					(the model-component of 
					     (the model-equation-set-of of Self))))
           (?the-second-movement == (the second Move has-part of 
					 (the model-component of 
					      (the model-equation-set-of of Self))))
           (?the-composition-movement == (the Event has-part of 
					      (the model-component of 
						   (the model-equation-set-of of Self))))
          and
          (:set (:pair t1    '(the duration of ?the-first-movement))
                (:pair t2    '(the duration of ?the-second-movement))
			    (:pair t     '(the duration of ?the-composition-movement))))))
       (model-equations
		   (('(= t (+ t1 t2))))))


	  


Phys: Question 2.16


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair x0   '(the x-pos of (the origin of ?the-move)))
                (:pair ac   '(the acceleration of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v0   '((the velocity of ?the-move) called "v0"))
                (:pair v    '((the velocity of ?the-move) called "v"))
                (:pair v-av '((the velocity of ?the-move) called "v-av"))))))
       (model-equations
        (('(= v (+ v0 (* ac t)))
          '(= x (+ x0 (+ * v0 t) (* (* 0.5 ac) (expt t 2))))
          '(= v (sqrt (+ (expt v0 2) (* (* 2 ac) (- x x0)))))
          '(= v-av (/ (+ v v0) 2))))))


	  


Phys: Question 2.29


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair x0   '(the x-pos of (the origin of ?the-move)))
                (:pair ac   '(the acceleration of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v0   '((the velocity of ?the-move) called "v0"))
                (:pair v    '((the velocity of ?the-move) called "v"))
                (:pair v-av '((the velocity of ?the-move) called "v-av"))))))
       (model-equations
        (('(= v (+ v0 (* ac t)))
          '(= x (+ x0 (+ * v0 t) (* (* 0.5 ac) (expt t 2))))
          '(= v (sqrt (+ (expt v0 2) (* (* 2 ac) (- x x0)))))
          '(= v-av (/ (+ v v0) 2))))))

	  


Phys: Question 2.49


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair x0   '(the x-pos of (the origin of ?the-move)))
                (:pair ac   '(the acceleration of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v0   '((the velocity of ?the-move) called "v0"))
                (:pair v    '((the velocity of ?the-move) called "v"))
                (:pair v-av '((the velocity of ?the-move) called "v-av"))))))
       (model-equations
        (('(= v (+ v0 (* ac t)))
          '(= x (+ x0 (+ * v0 t) (* (* 0.5 ac) (expt t 2))))
          '(= v (sqrt (+ (expt v0 2) (* (* 2 ac) (- x x0)))))
          '(= v-av (/ (+ v v0) 2))))))

	  


Phys: Question 2.61


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair x0   '(the x-pos of (the origin of ?the-move)))
                (:pair ac   '(the acceleration of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v0   '((the velocity of ?the-move) called "v0"))
                (:pair v    '((the velocity of ?the-move) called "v"))
                (:pair v-av '((the velocity of ?the-move) called "v-av"))))))
       (model-equations
        (('(= v (+ v0 (* ac t)))
          '(= x (+ x0 (+ * v0 t) (* (* 0.5 ac) (expt t 2))))
          '(= v (sqrt (+ (expt v0 2) (* (* 2 ac) (- x x0)))))
          '(= v-av (/ (+ v v0) 2))))))


;;; Scale-Equation-Set
(Scale-Equation-Set has (superclasses (Equation-Set)))

(every Scale-Equation-Set has
       (model-symbols
        ((
          (?component == (the model-component of 
			      (the model-equation-set-of of Self))))
          and
          (:set (:pair input   '(the input of ?component))
                (:pair factor  '(the factor of ?component))
	        (:pair output  '(the output of ?component)))))
       (model-equations
		   (('(= output (* input factor))))))

	  


Phys: Question 2.66


;;; Constant-Acceleration-Equation-Set2
(Constant-Acceleration-Equation-Set2 has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set2 has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-move   == (the Move object-of of ?the-object))
		  and
		  (?the-tf    == (the time-sequence of ?the-move))
          and
		  (:set (:pair ac   '(the acceleration of ?the-move))
		        (:pair t1   '(the init-time of ?the-tf))
		        (:pair t2   '(the final-time of ?the-tf))
				(:pair dura '(the duration of the-tf))
				(:pair x1   '(the origin of ?the-tf))
				(:pair x2   '(the destination of ?the-tf))
				(:pair dist   '(the distance of ?the-tf))
				(:pair v1   '(the init-velocity of ?the-tf))
				(:pair v2   '(the final-velocity of ?the-tf)))
       (model-equations
        (('(= dura (- t2 t1))
		   (= dist (- x2 x1))
		  '(= v2 (+ v1 (* ac delta-t)))
          '(= dist (+ * v1 delta-t) (* (* 0.5 ac) (expt delta-t 2)))
          '(= v2 (sqrt (+ (expt v1 2) (* (* 2 ac) dist))))
          '(= v-av (/ (+ v2 v1) 2))))))

;;; Composition-Move-Equation-Set
(Composition-Move-Equation-Set has (superclasses (Equation-Set)))

(every Composition-Move-Equation-Set has
       (model-symbols
        ((
           (?the-first-movement == (the first time-sequence has-part of 
					(the model-component of 
					     (the model-equation-set-of of Self))))
           (?the-second-movement == (the second time-sequence has-part of 
					 (the model-component of 
					      (the model-equation-set-of of Self))))
          and
		  (:set (:pair final-time1     '(the final-time of ?the-first-movement))
		        (:pair init-time2      '(the init-time of ?the-second-movement))
				(:pair destination1    '(the destination of ?the-first-movement))
				(:pair origin2         '(the origin of ?the-second-movement))
				(:pair final-velocity1 '(the final-velocity of ?the-first-movement))
				(:pair init-velocity2  '(the init-velocity of ?the-second-movement)))
       (model-equations
		   (('(= final-time1 init-time2)
		     '(= destination1 origin2)
			 '(= final-velocity1 init-velocity2))))))))


	  


Phys: Question 4.5
;;; Weight-Mass-Equation-Set
(Weight-Mass-Equation-Set has (superclasses (Equation-Set)))

(every Weight-Mass-Equation-Set has
       (model-symbols
        ((
		  (?the-system == (the model-component of (the model-equation-set-of of Self)))
		  and
          (?the-planet == (the element of ?the-system))
          and
		  (?the-object == (the is-at-of of ?the-planet)))
		  and
          (:set (:pair weight   '(the weight of ?the-object))
                (:pair gravity  '(the gravity of ?the-planet))
				(:pair mass '(the mass of ?the-object))))))
       (model-equations
		   (('(= force (* mass gravity))))))


	  

Phys: Question 4.7
;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-move   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair x0   '(the x-pos of (the origin of ?the-move)))
                (:pair ac   '(the acceleration of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v0   '((the velocity of ?the-move) called "v0"))
                (:pair v    '((the velocity of ?the-move) called "v"))
                (:pair v-av '((the velocity of ?the-move) called "v-av"))))))
       (model-equations
        (('(= v (+ v0 (* ac t)))
          '(= x (+ x0 (+ * v0 t) (* (* 0.5 ac) (expt t 2))))
          '(= v (sqrt (+ (expt v0 2) (* (* 2 ac) (- x x0)))))
          '(= v-av (/ (+ v v0) 2))))))



;;; Force-Equation-Set
(Force-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Force-Acceleration-Equation-Set has
       (model-symbols
        ((
		  (?the-system == (the model-component of (the model-equation-set-of of Self)))
		  and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
		  (?the-force == (the acted-on-by of ?the-object))
		  and
		  (?the-move == (the object-of of ?the-object))
		  and
          (:set (:pair force   '(the measure of ?the-force))
                (:pair acceleration  '(the acceleration of ?the-move))
				(:pair mass '(the mass of ?the-object))))))
       (model-equations
		   (('(= force (* mass acceleration))))))


	  

Phys: Question 4.10
;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-move   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair x0   '(the x-pos of (the origin of ?the-move)))
                (:pair ac   '(the acceleration of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v0   '((the velocity of ?the-move) called "v0"))
                (:pair v    '((the velocity of ?the-move) called "v"))
                (:pair v-av '((the velocity of ?the-move) called "v-av"))))))
       (model-equations
        (('(= v (+ v0 (* ac t)))
          '(= x (+ x0 (+ * v0 t) (* (* 0.5 ac) (expt t 2))))
          '(= v (sqrt (+ (expt v0 2) (* (* 2 ac) (- x x0)))))
          '(= v-av (/ (+ v v0) 2))))))



;;; Force-Equation-Set
(Force-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Force-Acceleration-Equation-Set has
       (model-symbols
        ((
		  (?the-system == (the model-component of (the model-equation-set-of of Self)))
		  and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
		  (?the-force == (the acted-on-by of ?the-object))
		  and
		  (?the-move == (the object-of of ?the-object))
		  and
          (:set (:pair force   '(the measure of ?the-force))
                (:pair acceleration  '(the acceleration of ?the-move))
				(:pair mass '(the mass of ?the-object))))))
       (model-equations
		   (('(= force (* mass acceleration))))))


	  

Phys: Question 98B.59

;;; Weight-Mass-Equation-Set
(Weight-Mass-Equation-Set has (superclasses (Equation-Set)))

(every Weight-Mass-Equation-Set has
       (model-symbols
        ((
		  (?the-system == (the model-component of (the model-equation-set-of of Self)))
		  and
          (?the-planet == (the element of ?the-system))
          and
		  (?the-object == (the is-at-of of ?the-planet)))
		  and
          (:set (:pair weight   '(the weight of ?the-object))
                (:pair gravity  '(the gravity of ?the-planet))
				(:pair mass '(the mass of ?the-object))))))
       (model-equations
		   (('(= force (* mass gravity))))))

	  


Phys: Question 98B.59


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair x0   '(the x-pos of (the origin of ?the-move)))
                (:pair ac   '(the acceleration of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v0   '((the velocity of ?the-move) called "v0"))
                (:pair v    '((the velocity of ?the-move) called "v"))
                (:pair v-av '((the velocity of ?the-move) called "v-av"))))))
       (model-equations
        (('(= v (+ v0 (* ac t)))
          '(= x (+ x0 (+ * v0 t) (* (* 0.5 ac) (expt t 2))))
          '(= v (sqrt (+ (expt v0 2) (* (* 2 ac) (- x x0)))))
          '(= v-av (/ (+ v v0) 2))))))


	  


Phys: Question 2.1


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v    '((the velocity of ?the-move) called "v"))))))
       (model-equations
	    (('(= x (* v t))))))
	  


Phys: Question 2.2


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v    '((the velocity of ?the-move) called "v"))))))
       (model-equations
	    (('(= x (* v t))))))
	  


Phys: Question 2.3


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v    '((the velocity of ?the-move) called "v"))))))
       (model-equations
	    (('(= x (* v t))))))
	  


Phys: Question 2.19


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair x0   '(the x-pos of (the origin of ?the-move)))
                (:pair ac   '(the acceleration of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v0   '((the velocity of ?the-move) called "v0"))
                (:pair v    '((the velocity of ?the-move) called "v"))
                (:pair v-av '((the velocity of ?the-move) called "v-av"))))))
       (model-equations
        (('(= v (+ v0 (* ac t)))
          '(= x (+ x0 (+ * v0 t) (* (* 0.5 ac) (expt t 2))))
          '(= v (sqrt (+ (expt v0 2) (* (* 2 ac) (- x x0)))))
          '(= v-av (/ (+ v v0) 2))))))
	  


Phys: Question 2.20


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair x0   '(the x-pos of (the origin of ?the-move)))
                (:pair ac   '(the acceleration of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v0   '((the velocity of ?the-move) called "v0"))
                (:pair v    '((the velocity of ?the-move) called "v"))
                (:pair v-av '((the velocity of ?the-move) called "v-av"))))))
       (model-equations
        (('(= v (+ v0 (* ac t)))
          '(= x (+ x0 (+ * v0 t) (* (* 0.5 ac) (expt t 2))))
          '(= v (sqrt (+ (expt v0 2) (* (* 2 ac) (- x x0)))))
          '(= v-av (/ (+ v v0) 2))))))
	  


Phys: Question 2.21


;;; Constant-Acceleration-Equation-Set
(Constant-Acceleration-Equation-Set has (superclasses (Equation-Set)))

(every Constant-Acceleration-Equation-Set has
       (model-symbols
        ((
          (?the-system == (the model-component of
                               (the model-equation-set-of of Self)))
          and
          (?the-object == (the Physical-Object has-part of ?the-system))
          and
          (?the-mode   == (the Move object-of of ?the-object))
          and
          (:set (:pair x    '(the distance of ?the-move))
                (:pair x0   '(the x-pos of (the origin of ?the-move)))
                (:pair ac   '(the acceleration of ?the-move))
                (:pair t    '(the duration of ?the-move))
                (:pair v0   '((the velocity of ?the-move) called "v0"))
                (:pair v    '((the velocity of ?the-move) called "v"))
                (:pair v-av '((the velocity of ?the-move) called "v-av"))))))
       (model-equations
        (('(= v (+ v0 (* ac t)))
          '(= x (+ x0 (+ * v0 t) (* (* 0.5 ac) (expt t 2))))
          '(= v (sqrt (+ (expt v0 2) (* (* 2 ac) (- x x0)))))
          '(= v-av (/ (+ v v0) 2))))))