| AlarmClock(alarm clock) | | alarm, alarm_clock |
| appearance as argument number 1 |
|
|
| (subclass AlarmClock Clock) | Mid-level-ontology.kif 27924-27924 | Alarm clock is a subclass of clock |
| (documentation AlarmClock EnglishLanguage "AlarmClock is a type of Clock that will radiate sound when a certain time is set") | Mid-level-ontology.kif 27925-27926 | Alarm clock is a subclass of clock |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?AC AlarmClock) (hasPurpose ?AC (exists (?TIME ?M ?Q) (and (instance ?M Measuring) (agent ?M ?AC) (result ?M ?Q) (equal ?Q ?TIME) (holdsDuring (WhenFn ?M) (exists (?S) (and (instance ?S RadiatingSound) (agent ?S ?AC)))))))) |
Mid-level-ontology.kif 27929-27943 | If X is an instance of alarm clock, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of measuring (3) X is an agent of Z (4) W is a result of Z (5) equal W (6) Y (7) there exists V such that V is an instance of radiating sound (8) X is an agent of V holds during the time of existence of Z |
|
|
|