|
|
  Slow
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Slow EnglishLanguage "Slow describes how a process takes more time than expected") | Dining.kif 1040-1041 | |
| (instance Slow TimeAttribute) | Dining.kif 1039-1039 |
| appearance as argument number 2 |
|
|
| (contraryAttribute Quick Slow) | Dining.kif 1037-1037 | |
| (termFormat EnglishLanguage Slow "slow") | Dining.kif 1042-1042 |
| 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 |
|
|
|