(=>
(instance ?A PhasedArrayAntenna)
(hasPurpose ?A
(exists (?C ?R ?D)
(and
(instance ?C Collection)
(member ?R ?C)
(instance ?R RadioEmission)
(instrument ?R ?A)
(instance ?D DirectionChange)
(patient ?D ?R)
(not
(exists (?M)
(and
(instance ?M DirectionChange)
(patient ?M ?A)))))))) |
Transportation.kif 5410-5425 |
If X is an instance of phased array attenna, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of collection (3) Z is a member of Y (4) Z is an instance of radio emission (5) X is an instrument for Z (6) W is an instance of direction change (7) Z is a patient of W (8) there doesn't exist V such that V is an instance of direction change (9) X is a patient of V |
UnitOf