Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Compact
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ReflectingLight Reflecting) | Mid-level-ontology.kif 562-562 | Reflecting light is a subclass of reflecting |
| (subclass ReflectingLight RadiatingLight) | Mid-level-ontology.kif 563-563 | 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 564-567 | 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 4332-4334 | 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 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 |
| (=> (instance ?P PESAAntenna) (hasPurpose ?P (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 5439-5456 | If X is an instance of passive electronically scanned array antenna, then All of the following hold: (1) X has the purpose 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 |
|