| Slow(slow) | | slow, slower, slowest |
| appearance as argument number 1 |
|
|
| (instance Slow TimeAttribute) | Dining.kif 1039-1039 | Slow is an instance of time attribute |
| (documentation Slow EnglishLanguage "Slow describes how a process takes more time than expected") | Dining.kif 1040-1041 | Slow is an instance of time attribute |
| appearance as argument number 2 |
|
|
| (contraryAttribute Quick Slow) | Dining.kif 1037-1037 | Quick is the opposite of slow |
| (termFormat EnglishLanguage Slow "slow") | Dining.kif 1042-1042 | Quick is the opposite of slow |
| antecedent |
|
|
| (=> (and (subjectiveAttribute ?AGENT1 Quick ?PERSON) (subjectiveAttribute ?AGENT2 Slow ?PERSON) (instance ?PROCESS1 ?CLASS) (instance ?PROCESS2 ?CLASS) (subclass ?CLASS Process) (agent ?PROCESS1 ?AGENT1) (agent ?PROCESS2 ?AGENT2)) (and (instance ?U UnitOfDuration) (duration (WhenFn ?PROCESS1) (MeasureFn ?TIME1 ?U)) (duration (WhenFn ?PROCESS2) (MeasureFn ?TIME2 ?U)) (greaterThan ?TIME2 ?TIME1))) |
Dining.kif 1044-1059 | If All of the following hold: (1) X believes Y is quick (2) X believes Z is slow (3) W is an instance of V (4) U is an instance of V (5) V is a subclass of process (6) Y is an agent of W (7) Z is an agent of U, then T is an instance of unit of duration, duration of the time of existence of W is S T(s), duration of the time of existence of U is R T(s), and R is greater than S |
|
|
|