| Agent | | Four_Horsemen, Grace, Rhadamanthus, Vajra, Zurvan, aeon, apparition, autonomous, besieger, bogey, bogie, bogy, cacodaemon, cacodemon, causal_agency, causal_agent, cause, cause_of_death, control, demiurge, destiny, deus_ex_machina, eon, eudaemon, eudemon, fantasm, fate, first_cause, ghoul, good_spirit, harasser, hoister, incarnate, jockey, juggernaut, killer, life_principle, mascot, nature, numen, occult, phantasm, phantasma, phantom, presence, prime_mover, primum_mobile, specter, spectre, spirit... |
| appearance as argument number 2 |
|
|
| (subclass CarryBot Agent) | Robot.kif 7-7 | CarryBot is a subclass of Agent |
| consequent |
|
|
| (=> (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 5277-5298 | 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) Instrument Y (4) X (5) Y ends up at Z (6) Z is an instance of object (7) V originates at Z (8) V is an instance of reflecting light (9) V is a subprocess of Y (10) V ends up at U (11) U is a part of X (12) Agent Y (13) W (14) W is an instance of human (15) W knows there exist T, S (16) R such that the distance between Z (17) U is T (18) Z is relative bearing U for S (19) the altitude of Z relative to U is R |
|
|
|