(=>
(instance ?R ThreeDRadar)
(hasPurpose ?R
(exists (?D ?O ?A ?O ?L ?P)
(and
(instance ?D Discovering)
(instrument ?D ?R)
(destination ?D ?O)
(instance ?O Object)
(origin ?L ?O)
(instance ?L ReflectingLight)
(subProcess ?L ?D)
(destination ?L ?P)
(part ?P ?R)
(agent ?D ?A)
(instance ?A Human)
(knows ?A
(exists (?DIST ?DEG ?HIGH)
(and
(distance ?O ?P ?DIST)
(relativeBearing ?O ?P ?DEG)
(altitude ?O ?P ?HIGH)))))))) |
Transportation.kif 5316-5337 |
If X is an instance of three D radar, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , Z,, , V (2) U such that Y is an instance of discovering (3) X is an instrument for Y (4) Y ends up at Z (5) Z is an instance of object (6) V originates at Z (7) V is an instance of reflecting light (8) V is a subprocess of Y (9) V ends up at U (10) U is a part of X (11) W is an agent of Y (12) W is an instance of human (13) W knows there exist T, S (14) R such that the distance between Z (15) U is T (16) Z is relative bearing U for S (17) the altitude of Z relative to U is R |
