Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Quick(quick) |  | abruptly, all_of_a_sudden, apace, chop-chop, cursorily, dead, fast, faster, fastest, flat_out, immediate, like_blue_murder, of_a_sudden, presto, prompt, quick, quicker, quickest, quickly, rapidly, short, smart, speedily, speedy, straightaway, suddenly, tight |
| appearance as argument number 1 |
|
|
| (instance Quick TimeAttribute) | Dining.kif 1035-1035 | Quick is an instance of time attribute |
| (documentation Quick EnglishLanguage "Quick describes how a process takes less time than expected") | Dining.kif 1036-1037 | Quick is an instance of time attribute |
| (contraryAttribute Quick Slow) | Dining.kif 1040-1040 | Quick is the opposite of slow |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Quick "quick") | Dining.kif 1038-1038 |
| 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 1047-1062 | 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 |
| 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 1459-1467 | If X is an instance of proliferation, then there exist Y, Z, W such that Y is an instance of classifying, Z is an agent of Y, W is an instance of increasing, Y ends up at W, and Z believes W is quick |
|