Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| betweenOnPath |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage betweenOnPath "before on path") | Mid-level-ontology.kif 32358-32358 | |
| (format EnglishLanguage betweenOnPath "%2 %p{is} %n{isn't} between %1 and %3 on path %4") | domainEnglishFormat.kif 274-274 | |
| (format ChineseTraditionalLanguage betweenOnPath "%1 %n{不} 對於 %3 between 在路徑 %2") | domainEnglishFormat.kif 275-275 | |
| (format ChineseLanguage betweenOnPath "%1 %n{不} 對於 %3 between 在路徑 %2") | domainEnglishFormat.kif 276-276 | |
| (termFormat EnglishLanguage betweenOnPath "between on path") | domainEnglishFormat.kif 10911-10911 | |
| (termFormat ChineseTraditionalLanguage betweenOnPath "在路徑之間") | domainEnglishFormat.kif 10912-10912 | |
| (termFormat ChineseLanguage betweenOnPath "在路径之间") | domainEnglishFormat.kif 10913-10913 |
| 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 |
|