  betweenOnPath
|
|
Sigma KEE - betweenOnPath
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH)
(between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 4288-4290 |
If X is between Y and Z on path W, then X is between Y and Z |
(=>
(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 |
(=>
(and
(verticalAxis ?X PlanetEarth)
(instance ?R Rotating)
(rotationalAxis ?R ?X)
(betweenOnPath NorthPole ?C SouthPole ?X))
(centerOfMass ?C PlanetEarth)) |
Geography.kif 5276-5282 |
If X is the verticalAxis of planet earth, Y is an instance of rotating, X is the axis of Y, and Z is between North Pole and South Pole on path X, then Z is the centerOfMass of planet earth |
|
consequent
|
|
|
(=>
(and
(instance ?FP FuelPump)
(instance ?A Automobile)
(part ?FP ?A)
(instance ?T Transportation)
(instance ?F Fuel)
(patient ?T ?F)
(instrument ?F ?FP)
(instance ?GT GasTank)
(part ?GT ?A)
(instance ?EC EngineCylinder)
(part ?EC ?A)
(origin ?T ?GT)
(destination ?T ?EC)
(path ?T ?P))
(hasPurpose ?T
(exists (?FF)
(and
(instance ?FF FuelFilter)
(betweenOnPath ?GT ?FF ?EC ?P))))) |
Cars.kif 1007-1027 |
If All of the following hold: (1) X is an instance of fuel pump (2) Y is an instance of automobile (3) X is a part of Y (4) Z is an instance of transportation (5) W is an instance of fuel (6) W is a patient of Z (7) X is an instrument for W (8) V is an instance of gas tank (9) V is a part of Y (10) U is an instance of engine cylinder (11) U is a part of Y (12) Z originates at V (13) Z ends up at U (14) T is path along which Z occurs, then Z has the purpose there exists S such that S is an instance of fuel filter, S is between V, and U on path T |
(=>
(instance ?J TransitwayJunction)
(exists (?TW1 ?A ?B ?TW2 ?X ?Y)
(and
(instance ?TW1 Transitway)
(routeBetween ?TW1 ?A ?B)
(instance ?TW2 Transitway)
(routeBetween ?TW2 ?X ?Y)
(not
(equal ?TW1 ?TW2))
(betweenOnPath ?A ?J ?B ?TW1)
(betweenOnPath ?X ?J ?Y ?TW2)
(connects ?J ?TW1 ?TW2)))) |
Transportation.kif 4348-4360 |
If X is an instance of transitway junction, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of transitway (3) Y route between Z for W (4) V is an instance of transitway (5) V route between U for T (6) equal Y (7) V (8) X is between Z (9) W on path Y (10) X is between U (11) T on path V (12) X connects Y (13) V |
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
