| Quick | |
| appearance as argument number 1 |
|
|
| (contraryAttribute Quick Slow) | Dining.kif 1037-1037 | |
| (documentation Quick EnglishLanguage "Quick describes how a process takes less time than expected") | Dining.kif 1033-1034 | |
| (instance Quick TimeAttribute) | Dining.kif 1032-1032 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Quick "quick") | Dining.kif 1035-1035 |
| 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 |
| consequent |
|
|
| (=> (instance ?P Proliferation) (exists (?C ?A ?I) (and (instance ?C Classifying) (agent ?C ?A) (instance ?I Increasing) (destination ?C ?I) (subjectiveAttribute ?I Quick ?A)))) |
MilitaryProcesses.kif 1437-1445 |
|
|
|