between |
appearance as argument number 1 |
![]() |
(documentation between ChineseLanguage "(between ?OBJ1 ?OBJ2 ?OBJ3) 的意思是 ?OBJ2 在空间上 位于 ?OBJ1 和 ?OBJ3 之间。 注:这意味着 ?OBJ2 正正位于在 ?OBJ1 和?OBJ3 之间,即是 ?OBJ1 和 ?OBJ3 的射影 和 ?OBJ2 的射影重叠。") | chinese_format.kif 2119-2121 | |
(documentation between EnglishLanguage "(between ?OBJ1 ?OBJ2 ?OBJ3) means that ?OBJ2 is spatially located between ?OBJ1 and ?OBJ3. Note that this implies that ?OBJ2 is directly between ?OBJ1 and ?OBJ3, i.e. the projections of ?OBJ1 and ?OBJ3 overlap with ?OBJ2.") | Merge.kif 4133-4136 | |
(domain between 1 Object) | Merge.kif 4129-4129 | 之间 的 1 数量 是 客体 的 instance |
(domain between 2 Object) | Merge.kif 4130-4130 | 之间 的 2 数量 是 客体 的 instance |
(domain between 3 Object) | Merge.kif 4131-4131 | 之间 的 3 数量 是 客体 的 instance |
(instance between SpatialRelation) | Merge.kif 4127-4127 | 之间 是 空间关系 的 instance |
(instance between TernaryPredicate) | Merge.kif 4128-4128 | 之间 是 三元谓语 的 instance |
appearance as argument number 2 |
![]() |
(format ChineseLanguage between "%2 %n 是在 %1 和 %3 between") | chinese_format.kif 65-65 | |
(format EnglishLanguage between "%2 is %n between %1 and %3") | english_format.kif 65-65 | |
(termFormat ChineseLanguage between "之间") | chinese_format.kif 66-66 | |
(termFormat ChineseTraditionalLanguage between "之間") | domainEnglishFormat.kif 10904-10904 | |
(termFormat EnglishLanguage between "between") | domainEnglishFormat.kif 10903-10903 |
antecedent |
![]() |
(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (instance ?O Organism) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (exists (?KILLING) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN))) |
Mid-level-ontology.kif 1384-1403 | |
(=> (and (instance ?GUN Gun) (instance ?U UnitOfLength) (effectiveRange ?GUN (MeasureFn ?LM ?U)) (distance ?GUN ?O (MeasureFn ?LM1 ?U)) (not (exists (?O2) (between ?O ?O2 ?GUN))) (lessThanOrEqualTo ?LM1 ?LM)) (exists (?DAMAGING) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN))) |
Mid-level-ontology.kif 1362-1380 | |
(=> (between ?END1 ?MID ?END2) (between ?END2 ?MID ?END1)) |
Merge.kif 4138-4140 | |
(=> (between ?OBJ2 ?OBJ1 ?OBJ3) (connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9502-9504 |
consequent |
![]() |
(=> (and (instance ?DIRECT DirectionalAttribute) (orientation ?OBJ1 ?OBJ2 ?DIRECT) (orientation ?OBJ2 ?OBJ3 ?DIRECT)) (between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 16855-16860 | |
(=> (and (instance ?Isthmus Isthmus) (side ?Leftside ?Isthmus) (side ?Rightside ?Isthmus) (not (equal ?Leftside ?Rightside))) (exists (?Region1 ?Region2 ?Water1 ?Water2) (and (instance ?Region1 LandArea) (instance ?Region2 LandArea) (between ?Region1 ?Isthmus ?Region2) (instance ?Water1 WaterArea) (instance ?Water2 WaterArea) (meetsSpatially ?Leftside ?Water1) (meetsSpatially ?Rightside ?Water2)))) |
Geography.kif 5731-5745 |
|
(=> (and (instance ?MID MiddleCIButton) (component ?MID ?DEV) (instance ?DEV ComputerInputDevice)) (exists (?LEFT ?RIGHT) (and (instance ?RIGHT RightCIButton) (instance ?LEFT LeftCIButton) (component ?RIGHT ?DEV) (component ?LEFT ?DEV) (between ?LEFT ?MID ?RIGHT) (orientation ?MID ?LEFT Left) (orientation ?MID ?RIGHT Right)))) |
ComputerInput.kif 224-237 |
|
(=> (and (instance ?T1 ?T1C) (instance ?T2 ?T2C) (not (equal ?T1C ?T2C)) (not (subclass ?T1C ?T2C)) (not (subclass ?T2C ?T1C)) (orientation ?T1 ?T2 Adjacent)) (modalAttribute (exists (?CT) (and (instance ?CT ConnectiveTissue) (between ?T1 ?CT ?T2))) Likely)) |
Merge.kif 15021-15037 | |
(=> (and (instance ?ZONE MaritimeContiguousZone) (claimedTerritory ?ZONE ?AREA) (instance ?WATER TerritorialSea) (claimedTerritory ?WATER ?AREA)) (between ?AREA ?WATER ?ZONE)) |
Geography.kif 1213-1219 | |
(=> (and (path ?PROCESS ?PATH1) (origin ?PROCESS ?SOURCE) (destination ?PROCESS ?DEST) (length ?PATH1 (MeasureFn ?MEASURE1 ?U)) (distance ?SOURCE ?DEST (MeasureFn ?DISTANCE ?U)) (not (greaterThan ?MEASURE1 ?DISTANCE)) (part ?OBJ ?PATH1)) (between ?SOURCE ?OBJ ?DEST)) |
Merge.kif 11016-11026 | |
(=> (attribute ?O Translucent) (modalAttribute (exists (?EMIT ?S ?OBJ) (and (instance ?EMIT RadiatingLight) (resource ?EMIT ?S) (destination ?EMIT ?OBJ) (between ?S ?O ?OBJ) (holdsDuring (WhenFn ?EMIT) (attribute ?OBJ Illuminated)))) Possibility)) |
Mid-level-ontology.kif 14999-15011 | |
(=> (attribute ?O Translucent) (modalAttribute (not (exists (?S ?A ?D) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D)))) Likely)) |
Mid-level-ontology.kif 14987-14997 | |
(=> (attribute ?O Transparent) (modalAttribute (exists (?S ?A ?D) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D))) Possibility)) |
Mid-level-ontology.kif 14971-14980 | |
(=> (between ?END1 ?MID ?END2) (between ?END2 ?MID ?END1)) |
Merge.kif 4138-4140 | |
(=> (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) (between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 4155-4157 | |
(=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (between ?OBJ2 ?OBJ1 ?OBJ3)) |
Merge.kif 9498-9500 | |
(=> (instance ?FRONT StormFront) (exists (?AIR1 ?AIR2) (and (instance ?AIR1 Air) (instance ?AIR2 Air) (between ?AIR1 ?FRONT ?AIR2)))) |
Mid-level-ontology.kif 9041-9047 | |
(=> (instance ?HALL Hallway) (hasPurpose ?HALL (exists (?TRAN ?BUILD ?R1 ?R2) (and (instance ?TRAN Translocation) (path ?TRAN ?HALL) (located ?HALL ?BUILD) (instance ?BUILD Building) (between ?R1 ?HALL ?R2) (instance ?R1 Room) (instance ?R2 Room) (located ?R1 ?BUILD) (located ?R2 ?BUILD) (not (equal ?R1 ?R2)))))) |
Mid-level-ontology.kif 15469-15484 |
|
(=> (instance ?LW LaminatedWindshield) (exists (?G1 ?G2 ?P) (and (instance ?G1 Glass) (instance ?G2 Glass) (instance ?P Plastic) (part ?G1 ?LW) (part ?G2 ?LW) (part ?P ?LW) (between ?G1 ?P ?G2)))) |
Cars.kif 3236-3246 | |
(=> (instance ?S Sandwich) (exists (?B1 ?B2 ?F) (and (instance ?B1 BreadOrBiscuit) (instance ?B2 BreadOrBiscuit) (instance ?F (FoodForFn Human)) (between ?B1 ?F ?B2) (not (equal ?B1 ?B2)) (not (equal ?B1 ?F)) (not (equal ?B2 ?F)) (part ?B1 ?S) (part ?B2 ?S) (part ?F ?S)))) |
Mid-level-ontology.kif 21442-21455 |
|
appearance as argument number 0 |
![]() |
(between SouthAmerica SaintHelena WesternAfrica) | CountriesAndRegions.kif 233-233 | 圣海伦娜 是在 南美洲 和 西非 between |
![]() |
![]() |