(=>
(and
(instance ?A AESAAntenna)
(part ?C ?A)
(instance ?C Collection)
(memberType ?C ?CLASS)
(subclass ?CLASS CommunicationDevice))
(exists (?R1 ?D1 ?R2 ?D2)
(and
(instance ?R1 RadioEmission)
(origin ?R1 ?D1)
(instance ?D1 ?CLASS)
(instance ?R2 RadioEmission)
(origin ?R2 ?D2)
(instance ?D2 ?CLASS)
(not
(equal ?D1 ?D2))
(not
(equal ?R1 ?R2))
(cooccur ?R1 ?R2)))) |
Transportation.kif 5450-5469 |
If X is an instance of active eletronically scanned array antenna, Y is a part of X, Y is an instance of collection, Z is a member type of Y, and Z is a subclass of communication device, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of radio emission (3) W originates at V (4) V is an instance of Z (5) U is an instance of radio emission (6) U originates at T (7) T is an instance of Z (8) equal V (9) T (10) equal W (11) U (12) W occurs at the same time as U |
