Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| beforeOnPath |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (format EnglishLanguage beforeOnPath "%1 %n before %2 on path %3 during %4") | Mid-level-ontology.kif 32357-32357 | |
| (termFormat EnglishLanguage beforeOnPath "before on path") | domainEnglishFormat.kif 65792-65792 |
| antecedent |
|
|
| (=> (and (instance ?W FohnWind) (path ?W ?P) (origin ?W ?H) (destination ?W ?L) (beforeOnPath ?H ?L ?P ?W)) (orientation ?L ?H Downhill)) |
Weather.kif 2178-2185 | If X is an instance of Fohn wind, Y is path along which X occurs, X originates at Z, X ends up at W, and Z before W on path Y during X, then W is downhill from to Z |
| (=> (and (instance ?W KatabaticWind) (path ?W ?P) (origin ?W ?H) (destination ?W ?L) (beforeOnPath ?H ?L ?P ?W)) (orientation ?L ?H Downhill)) |
Weather.kif 2501-2508 | If X is an instance of katabatic wind, Y is path along which X occurs, X originates at Z, X ends up at W, and Z before W on path Y during X, then W is downhill from to Z |
| (=> (and (instance ?W AnabaticWind) (path ?W ?P) (origin ?W ?L) (destination ?W ?H) (beforeOnPath ?L ?H ?P ?W)) (orientation ?H ?L Uphill)) |
Weather.kif 2548-2555 | If X is an instance of anabatic wind, Y is path along which X occurs, X originates at Z, X ends up at W, and Z before W on path Y during X, then W is uphill from to Z |
| consequent |
|
|
| (=> (and (betweenOnPath ?O1 ?O2 ?O3 ?PATH) (instance ?T Transfer) (path ?T ?PATH) (origin ?T ?O1) (destination ?T ?O3)) (and (beforeOnPath ?O1 ?O2 ?PATH ?T) (beforeOnPath ?O2 ?O3 ?PATH ?T))) |
Mid-level-ontology.kif 32360-32369 | If X is between Y and Z on path W, V is an instance of transfer, W is path along which V occurs, V originates at Y, and V ends up at Z, then Y before X on path W during V and X before Z on path W during V |
| (=> (orientation ?O1 ?O2 Upstream) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O1) (beforeOnPath ?O1 ?O2 ?P ?T) (destination ?T ?O2)))) |
Mid-level-ontology.kif 32375-32384 | If X is upstream from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) liquid is an attribute of W (4) V is path along which Z occurs (5) Z originates at X (6) X before Y on path V during Z (7) Z ends up at Y |
| (=> (orientation ?O1 ?O2 Downstream) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1)))) |
Mid-level-ontology.kif 32386-32395 | If X is downstream from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) liquid is an attribute of W (4) V is path along which Z occurs (5) Z originates at Y (6) Y before X on path V during Z (7) Z ends up at X |
| (=> (orientation ?O1 ?O2 Upwind) (exists (?T ?L ?P) (and (instance ?T Transfer) (attribute ?L Liquid) (path ?T ?P) (origin ?T ?O1) (beforeOnPath ?O1 ?O2 ?P ?T) (destination ?T ?O2)))) |
Mid-level-ontology.kif 32405-32414 | If X is upwind from to Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of transfer (3) liquid is an attribute of W (4) V is path along which Z occurs (5) Z originates at X (6) X before Y on path V during Z (7) Z ends up at Y |
| (=> (orientation ?O1 ?O2 Downwind) (exists (?W ?T ?P) (and (instance ?W Wind) (path ?T ?P) (origin ?T ?O2) (beforeOnPath ?O2 ?O1 ?P ?T) (destination ?T ?O1)))) |
Mid-level-ontology.kif 32423-32431 | If X is downwind from to Y, then there exist Z, W, V such that Z is an instance of wind, V is path along which W occurs, W originates at Y, Y before X on path V during W, and W ends up at X |
| (=> (and (instance ?T Tailpipe) (instance ?TR Transfer) (instance ?E Exhaust) (instance ?A Automobile) (instance ?AES AutomobileExhaustSystem) (part ?T ?A) (path ?TR ?T) (patient ?TR ?E)) (hasPurpose ?T (not (exists (?O) (and (part ?O ?A) (beforeOnPath ?T ?O ?AES ?TR)))))) |
Cars.kif 3916-3931 | If All of the following hold: (1) X is an instance of tailpipe (2) Y is an instance of transfer (3) Z is an instance of exhaust (4) W is an instance of automobile (5) V is an instance of exhaust system (6) X is a part of W (7) X is path along which Y occurs (8) Z is a patient of Y, then X has the purpose there doesn't exist U such that U is a part of W and X before U on path V during Y |
|