Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - between
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 4179-4182
(documentation between JapaneseLanguage "(between ?OBJ1 ?OBJ2 ?OBJ3) とは、?OBJ2が ?OBJ1と ?OBJ3 の間に空間的に配置されたことを意味する。 注:?OBJ2 が ?OBJ1 と ?OBJ3 の間に直接あること を意味する。 例:?OBJ1 と ?OBJ3 の予測は OBJ2 と重なる。") japanese_format.kif 772-774
(domain between 1 Object) Merge.kif 4175-4175 The number 1 argument of between is an instance of object
(domain between 2 Object) Merge.kif 4176-4176 The number 2 argument of between is an instance of object
(domain between 3 Object) Merge.kif 4177-4177 The number 3 argument of between is an instance of object
(instance between SpatialRelation) Merge.kif 4173-4173 between is an instance of spatial relation
(instance between TernaryPredicate) Merge.kif 4174-4174 between is an instance of ternary predicate

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
(format FrenchLanguage between "%2 est %n entre %1 et %3") french_format.kif 58-58
(format ItalianLanguage between "%2 è %n tra %1 e %3") relations-it.txt 37-37
(format JapaneseLanguage between "%2 は %1 と %3 の between では %n") japanese_format.kif 1881-1881
(format PortugueseLanguage between "%2 esta' %n entre %1 e %3") portuguese_format.kif 10-10
(format cb between "%2 %n ay sa tunga sa %1 at %3") relations-cb.txt 71-71
(format cz between "%2 %p{je} %n{nen�} mezi %1 a %3") relations-cz.txt 131-131
(format de between "%2 ist zwischen %1 und %3 %n{nicht}") relations-de.txt 71-71
(format hi between "%2 %1 aura %3 ke biicha %n hai") relations-hindi.txt 55-55
(format ro between "%2 %n{nu} este between%t{între} %1 ºi %3") relations-ro.kif 77-77
(format sv between "%2 ligger %n{inte} mellan %1 och %3") relations-sv.txt 57-57
(format tg between "%2 %n ay sa gitna ng %1 at %3") relations-tg.txt 90-90
(termFormat ChineseLanguage between "之间") chinese_format.kif 66-66
(termFormat ChineseTraditionalLanguage between "之間") domainEnglishFormat.kif 10907-10907
(termFormat EnglishLanguage between "between") domainEnglishFormat.kif 10906-10906
(termFormat de between "zwischen") terms-de.txt 18-18
(termFormat tg between "sa gitna") relations-tg.txt 91-91

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 1634-1653
(=>
    (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 1612-1630
(=>
    (between ?END1 ?MID ?END2)
    (between ?END2 ?MID ?END1))
Merge.kif 4184-4186
(=>
    (between ?OBJ2 ?OBJ1 ?OBJ3)
    (connects ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 9678-9680

consequent
-------------------------


(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 17179-17184
(=>
    (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 6093-6107
(=>
    (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 ?T Thoracentesis)
        (patient ?T ?H))
    (exists (?I ?O ?IN ?L ?C ?F)
        (and
            (instance ?I Inserting)
            (subProcess ?I ?T)
            (objectTransferred ?I ?N)
            (origin ?I ?O)
            (destination ?I ?IN)
            (instance ?N Needle)
            (attribute ?F Fluid)
            (objectTransferred ?T ?F)
            (destination ?F ?O)
            (instance ?L Lung)
            (instance ?C Chest)
            (part ?L ?H)
            (part ?C ?H)
            (origin ?T ?IN)
            (destination ?T ?O)
            (between ?L ?IN ?C)
            (orientation ?O ?H Outside))))
Medicine.kif 886-908
(=>
    (and
        (instance ?VCS VentedChestSeal)
        (instance ?A Attaching)
        (objectTransferred ?A ?VCS)
        (destination ?A ?H))
    (hasPurpose ?VCS
        (exists (?A ?L ?C ?H)
            (and
                (instance ?A Air)
                (instance ?L Lung)
                (instance ?C Chest)
                (part ?L ?H)
                (part ?C ?H)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?A))
                    (between ?L ?A ?C))
                (hasPurpose ?VCS
                    (holdsDuring
                        (ImmediateFutureFn
                            (WhenFn ?A))
                        (orientation ?A ?H Outside)))))))
Medicine.kif 844-866
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))
Geography.kif 1337-1343
(=>
    (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 11220-11230
(=>
    (and
        (subclass ?T1C Tissue)
        (subclass ?T2C Tissue)
        (instance ?T1 ?T1C)
        (instance ?T2 ?T2C)
        (instance ?H Human)
        (part ?T1 ?H)
        (part ?T2 ?H)
        (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 15319-15340
(=>
    (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 16525-16537
(=>
    (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 16513-16523
(=>
    (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 16497-16506
(=>
    (between ?END1 ?MID ?END2)
    (between ?END2 ?MID ?END1))
Merge.kif 4184-4186
(=>
    (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH)
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 4201-4203
(=>
    (connects ?OBJ1 ?OBJ2 ?OBJ3)
    (between ?OBJ2 ?OBJ1 ?OBJ3))
Merge.kif 9674-9676
(=>
    (holdsDuring ?T
        (attribute ?H Pneumothorax))
    (holdsDuring ?T
        (exists (?A)
            (and
                (instance ?A Air)
                (instance ?L Lung)
                (instance ?C Chest)
                (part ?L ?H)
                (part ?C ?H)
                (between ?L ?A ?C)))))
Medicine.kif 790-801
(=>
    (instance ?FRONT StormFront)
    (exists (?AIR1 ?AIR2)
        (and
            (instance ?AIR1 Air)
            (instance ?AIR2 Air)
            (between ?AIR1 ?FRONT ?AIR2))))
Mid-level-ontology.kif 10287-10293
(=>
    (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 16995-17010
(=>
    (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 3297-3307
(=>
    (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))))
Food.kif 1590-1603