| ReflectingLight(reflecting light) | | mirror, reflect, reverberate |
| appearance as argument number 1 |
|
|
| (subclass ReflectingLight Reflecting) | Mid-level-ontology.kif 575-575 | Reflecting light is a subclass of reflecting |
| (subclass ReflectingLight RadiatingLight) | Mid-level-ontology.kif 576-576 | Reflecting light is a subclass of radiating light |
| (documentation ReflectingLight EnglishLanguage "Those instances of RadiatingLight where the instrument is not a light source, but is simply a surface which bends light waves that come in contact with it.") | Mid-level-ontology.kif 577-580 | Reflecting light is a subclass of radiating light |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?M Mirror) (capability ReflectingLight instrument ?M)) |
Mid-level-ontology.kif 4146-4148 | If X is an instance of mirror, then X is capable of doing reflecting light as a instrument |
| (=> (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 |
| (=> (instance ?P PESAAntenna) (exists (?O1 ?R ?L) (and (part ?O1 ?P) (instance ?R RadioEmission) (origin ?R ?O1) (instance ?L ReflectingLight) (destination ?L ?O1) (not (exists (?O2) (and (part ?O2 ?P) (origin ?R ?O2) (destination ?L ?O2) (not (equal ?O1 ?O2)))))))) |
Transportation.kif 5400-5416 | If X is an instance of passive electronically scanned array antenna, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a part of X (3) Z is an instance of radio emission (4) Z originates at Y (5) W is an instance of reflecting light (6) W ends up at Y (7) there doesn't exist V such that V is a part of X (8) Z originates at V (9) W ends up at V (10) equal Y (11) V |
|
|
|