Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AlarmClock(alarm clock) |  | alarm, alarm_clock |
| appearance as argument number 1 |
|
|
| (subclass AlarmClock Clock) | Mid-level-ontology.kif 27828-27828 | 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 27829-27830 | 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 27833-27847 | 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 |
|