Quick
|
|
appearance as argument number 1 |
(contraryAttribute Quick Slow) | Dining.kif 1037-1037 | Quick は Slow の disjoint では %n |
(documentation Quick EnglishLanguage "Quick describes how a process takes less time than expected") | Dining.kif 1033-1034 | |
(instance Quick TimeAttribute) | Dining.kif 1032-1032 | Quick は TimeAttribute の instance では %n |
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 |
|