(=>
(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 |
MiniSizeDisc