Relation _ELONGATE

Arity: 2

Domain: Object

Subrelation-Of: Quantitative-property

Axioms:

(<=> (_Elongate ?A ?B)
     (And (Exists (?Y ?Z)
                  (And (Exists (?C) (And (Width ?A ?C) (= ?Z ?C)))
                       (Exists (?D) (And (Length ?A ?D) (= ?Y ?D)))
                       (> ?Y ?Z)))
          (Quantitative-Property ?A ?B)
          (Object ?A)))

• Defined in theory: Quantities
• Source code: Quantities.lisp