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 4066-4069 | |
(domain between 1 Object) | Merge.kif 4062-4062 | 之间 的 1 数量 是 客体 的 instance |
(domain between 2 Object) | Merge.kif 4063-4063 | 之间 的 2 数量 是 客体 的 instance |
(domain between 3 Object) | Merge.kif 4064-4064 | 之间 的 3 数量 是 客体 的 instance |
(instance between SpatialRelation) | Merge.kif 4060-4060 | 之间 是 空间关系 的 instance |
(instance between TernaryPredicate) | Merge.kif 4061-4061 | 之间 是 三元谓语 的 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 10909-10909 | |
(termFormat EnglishLanguage between "between") | domainEnglishFormat.kif 10908-10908 |
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)) (capability (KappaFn ?KILLING (and (instance ?KILLING Killing) (patient ?KILLING ?O))) instrument ?GUN)) |
Mid-level-ontology.kif 1373-1391 | |
(=> (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)) (capability (KappaFn ?DAMAGING (and (instance ?DAMAGING Damaging) (patient ?DAMAGING ?O))) instrument ?GUN)) |
Mid-level-ontology.kif 1352-1369 | |
(=> (between ?END1 ?MID ?END2) (between ?END2 ?MID ?END1)) |
Merge.kif 4071-4073 | |
(=> (between ?OBJ2 ?OBJ1 ?OBJ3) (connects ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 9435-9437 |
consequent |
![]() |
(=> (and (instance ?DIRECT DirectionalAttribute) (orientation ?OBJ1 ?OBJ2 ?DIRECT) (orientation ?OBJ2 ?OBJ3 ?DIRECT)) (between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 16723-16728 | |
(=> (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 5720-5734 |
|
(=> (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 14894-14910 | |
(=> (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 10952-10962 | |
(=> (attribute ?O Translucent) (modalAttribute (exists (?EMIT) (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 14596-14608 | |
(=> (attribute ?O Translucent) (modalAttribute (not (exists (?S) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D)))) Likely)) |
Mid-level-ontology.kif 14584-14594 | |
(=> (attribute ?O Transparent) (modalAttribute (exists (?S) (and (instance ?S Seeing) (agent ?S ?A) (destination ?S ?D) (between ?O ?A ?D))) Possibility)) |
Mid-level-ontology.kif 14568-14577 | |
(=> (between ?END1 ?MID ?END2) (between ?END2 ?MID ?END1)) |
Merge.kif 4071-4073 | |
(=> (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) (between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 4088-4090 | |
(=> (connects ?OBJ1 ?OBJ2 ?OBJ3) (between ?OBJ2 ?OBJ1 ?OBJ3)) |
Merge.kif 9431-9433 | |
(=> (instance ?FRONT StormFront) (exists (?AIR1 ?AIR2) (and (instance ?AIR1 Air) (instance ?AIR2 Air) (between ?AIR1 ?FRONT ?AIR2)))) |
Mid-level-ontology.kif 8684-8690 | |
(=> (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 20956-20969 |
|
appearance as argument number 0 |
![]() |
(between SouthAmerica SaintHelena WesternAfrica) | CountriesAndRegions.kif 233-233 | 圣海伦娜 是在 南美洲 和 西非 between |
![]() |
![]() |