| Slow | |
| appearance as argument number 1 |
|
|
| (documentation Slow EnglishLanguage "Slow describes how a process takes more time than expected") | Dining.kif 993-994 | |
| (instance Slow TimeAttribute) | Dining.kif 992-992 | Slow 是 TimeAttribute 的 instance |
| appearance as argument number 2 |
|
|
| (contraryAttribute Quick Slow) | Dining.kif 990-990 | Quick 是 Slow 的相反 |
| (termFormat EnglishLanguage Slow "slow") | Dining.kif 995-995 |
| 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 997-1012 |
|
|
|
|