Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Ambulating(ambulating)
|  | canter, crawl, creep, formicate, gallop, pace, prance, scramble, sway, swing |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__AGENT,V__AMBULATE] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((s__instance(V__AMBULATE,s__Ambulating) & s__agent(V__AMBULATE,V__AGENT)) => s__attribute(V__AGENT,s__Standing))) )
|
Merge.kif 18403-18407 | If X is an instance of ambulating and Y is an agent of X, then standing is an attribute of Y |
| ! [V__DURATION,V__AMBULATE] : ((s__instance(V__DURATION,s__TimeInterval) => ((s__instance(V__AMBULATE,s__Ambulating) & (V__DURATION = s__WhenFn(V__AMBULATE))) => (? [V__STEP1,V__STEPN] : ((s__instance(V__STEP1,s__Stepping) & s__instance(V__STEPN,s__Stepping) & s__subProcess(V__STEP1,V__AMBULATE) & s__subProcess(V__STEPN,V__AMBULATE) & s__starts(s__WhenFn(V__STEP1) ,V__DURATION) & s__finishes(s__WhenFn(V__STEPN) ,V__DURATION) & ~((V__STEP1 = V__STEPN))))))) )
|
Mid-level-ontology.kif 470-482 | If X is an instance of ambulating and equal Y and the time of existence of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of stepping (3) W is an instance of stepping (4) Z is a subprocess of X (5) W is a subprocess of X (6) the time of existence of Z starts Y (7) the time of existence of W finishes Y (8) equal Z (9) W |
| ! [V__S1START,V__S2START,V__A,V__S1,V__S2] : (((s__instance(V__S1START,s__TimePoint) & s__instance(V__S2START,s__TimePoint)) => ((s__instance(V__A,s__Ambulating) & s__subProcess(V__S1,V__A) & s__instance(V__S1,s__Stepping) & s__subProcess(V__S2,V__A) & s__instance(V__S2,s__Stepping) & (V__S1START = s__BeginFn(s__WhenFn(V__S1))) & (V__S2START = s__BeginFn(s__WhenFn(V__S2))) & ~((s__before(V__S1START,V__S2START) | s__before(V__S2START,V__S1START)))) => (V__S1 = V__S2))) )
|
Mid-level-ontology.kif 484-497 | If All of the following hold: (1) X is an instance of ambulating (2) Y is a subprocess of X (3) Y is an instance of stepping (4) Z is a subprocess of X (5) Z is an instance of stepping (6) equal W and the beginning of the time of existence of Y (7) equal V and the beginning of the time of existence of Z (8) ~{ W happens before V } and ~{ V happens before W }, then equal Y and Z |
| ! [V__AGENT,V__AMBULATE,V__STEP] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((s__instance(V__AMBULATE,s__Ambulating) & s__instance(V__STEP,s__Stepping) & s__subProcess(V__STEP,V__AMBULATE) & s__agent(V__AMBULATE,V__AGENT)) => s__agent(V__STEP,V__AGENT))) )
|
Mid-level-ontology.kif 499-505 | If X is an instance of ambulating, Y is an instance of stepping, Y is a subprocess of X, and Z is an agent of X, then Z is an agent of Y |
| ! [V__AGENT,V__AMBULATE,V__STEP] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((s__instance(V__AMBULATE,s__Ambulating) & s__instance(V__STEP,s__Stepping) & s__subProcess(V__STEP,V__AMBULATE) & s__agent(V__STEP,V__AGENT)) => s__agent(V__AMBULATE,V__AGENT))) )
|
Mid-level-ontology.kif 507-513 | If X is an instance of ambulating, Y is an instance of stepping, Y is a subprocess of X, and Z is an agent of Y, then Z is an agent of X |
| ! [V__A : $i,V__W : $i] : (((s__instance(V__A, s__Biped) & s__instance(V__W, s__Ambulating) & s__agent(V__W, V__A)) => s__modalAttribute(( ? [V__L1:$i, V__L2:$i] : ((s__instance(V__L1, s__Leg) & s__instance(V__L2, s__Leg) & ~(V__L1 = V__L2) & s__part(V__L1, V__A) & s__part(V__L2, V__A) & s__instrument(V__W, V__L1) & s__instrument(V__W, V__L2)))), s__Likely))) | Mid-level-ontology.kif 5020-5036 | If X is an instance of biped, Y is an instance of ambulating, and X is an agent of Y, then All of the following hold: (1) the statement there exist Z (2) W such that Z is an instance of leg (3) W is an instance of leg (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X (8) Z is an instrument for Y (9) W is an instrument for Y has the modal force of likely |
| consequent |
|
|
| ! [V__GRP,V__MP,V__OD] : (((s__instance(V__GRP,s__MarchingBand) & s__instance(V__MP,s__MusicalPerformance) & s__agent(V__MP,V__GRP) & s__instance(V__OD,s__Outdoors) & s__eventLocated(V__MP,V__OD)) => (? [V__AMB] : ((s__instance(V__AMB,s__Ambulating) & s__subProcess(V__AMB,V__MP))))) )
|
Music.kif 988-998 | If X is an instance of marching band, Y is an instance of musical performance, X is an agent of Y, Z is an instance of outdoors, and Y is located at Z, then there exists W such that W is an instance of ambulating and W is a subprocess of Y |
|