Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  properPart
|
|
|
| appearance as argument number 1 |
|
|
| (subclass FlashingLight RadiatingLight) | Mid-level-ontology.kif 620-620 | Flashing light is a subclass of radiating light |
| (documentation FlashingLight EnglishLanguage "RadiatingLight at intervals. The intervals need not be regular. This could include a light with a malfunctioning electrical connection, morse code transmitted by lamp, dance hall lighting or concert light shows.") | Mid-level-ontology.kif 621-623 | Flashing light is a subclass of radiating light |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FlashingLight "flashing light") | Mid-level-ontology.kif 624-624 |
| antecedent |
|
|
| (=> (and (instance ?FL FlashingLight) (origin ?FL ?L)) (exists (?I1 ?T2 ?I3) (and (instance ?I1 RadiatingLight) (instance ?T2 TimeInterval) (instance ?I3 RadiatingLight) (meetsTemporally (WhenFn ?I1) ?T2) (meetsTemporally ?T2 (WhenFn ?I3)) (not (exists (?I2) (and (instance ?I2 RadiatingLight) (origin ?I2 ?L) (during (WhenFn ?I2) ?T2)))) (subProcess ?I1 ?FL) (subProcess ?I3 ?FL)))) |
Mid-level-ontology.kif 626-644 | If X is an instance of flashing light and X originates at Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of radiating light (3) W is an instance of timeframe (4) V is an instance of radiating light (5) the time of existence of Z meets W (6) W meets the time of existence of V (7) there doesn't exist U such that U is an instance of radiating light (8) U originates at Y (9) the time of existence of U takes place during W (10) Z is a subprocess of X (11) V is a subprocess of X |
|