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

Formal Language: 



KB Term:  Term intersection
English Word: 

  between

 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 4157-4160
(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 4153-4153
(domain between 2 Object) Merge.kif 4154-4154
(domain between 3 Object) Merge.kif 4155-4155
(instance between SpatialRelation) Merge.kif 4151-4151
(instance between TernaryPredicate) Merge.kif 4152-4152

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 10900-10900
(termFormat EnglishLanguage between "between") domainEnglishFormat.kif 10899-10899
(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 1410-1429
(=>
    (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 1388-1406
(=>
    (between ?END1 ?MID ?END2)
    (between ?END2 ?MID ?END1))		 Merge.kif 4162-4164
(=>
    (between ?OBJ2 ?OBJ1 ?OBJ3)
    (connects ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 9578-9580

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


(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 17075-17080
(=>
    (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 5823-5837
(=>
    (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 895-917
(=>
    (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 853-875
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))		 Geography.kif 1206-1212
(=>
    (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 11116-11126
(=>
    (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 15212-15233
(=>
    (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 15179-15191
(=>
    (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 15167-15177
(=>
    (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 15151-15160
(=>
    (between ?END1 ?MID ?END2)
    (between ?END2 ?MID ?END1))		 Merge.kif 4162-4164
(=>
    (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH)
    (between ?OBJ1 ?OBJ2 ?OBJ3))		 Merge.kif 4179-4181
(=>
    (connects ?OBJ1 ?OBJ2 ?OBJ3)
    (between ?OBJ2 ?OBJ1 ?OBJ3))		 Merge.kif 9574-9576
(=>
    (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 799-810
(=>
    (instance ?FRONT StormFront)
    (exists (?AIR1 ?AIR2)
        (and
            (instance ?AIR1 Air)
            (instance ?AIR2 Air)
            (between ?AIR1 ?FRONT ?AIR2))))		 Mid-level-ontology.kif 9108-9114
(=>
    (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 15649-15664
(=>
    (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 3221-3231
(=>
    (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 1584-1597

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners