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 的射影重叠。") Merge.kif 6210-6212
(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 6205-6208
(documentation between JapaneseLanguage "(between ?OBJ1 ?OBJ2 ?OBJ3) とは、?OBJ2が ?OBJ1と ?OBJ3 の間に空間的に配置されたことを意味する。 注:?OBJ2 が ?OBJ1 と ?OBJ3 の間に直接あること を意味する。 例:?OBJ1 と ?OBJ3 の予測は OBJ2 と重なる。") Merge.kif 6214-6216
(domain between 1 Object) Merge.kif 6201-6201 The number 1 argument of between is an instance of object
(domain between 2 Object) Merge.kif 6202-6202 The number 2 argument of between is an instance of object
(domain between 3 Object) Merge.kif 6203-6203 The number 3 argument of between is an instance of object
(instance between SpatialRelation) Merge.kif 6199-6199 between is an instance of spatial relation
(instance between TernaryPredicate) Merge.kif 6200-6200 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 71-71
(format JapaneseLanguage between "%2 は %1 と %3 の between では %n") english_format.kif 72-72
(termFormat ChineseLanguage between "之间") chinese_format.kif 66-66 "之间" is the printable form of between in ChineseLanguage
(termFormat ChineseTraditionalLanguage between "之間") domainEnglishFormat.kif 10848-10848 "之間" is the printable form of between in ChineseTraditionalLanguage
(termFormat EnglishLanguage between "between") domainEnglishFormat.kif 10847-10847 "between" is the printable form of between in english language

antecedent
-------------------------


(=>
    (and
        (instance ?GUN Gun)
        (effectiveRange ?GUN ?LM)
        (distance ?GUN ?O ?LM1)
        (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 1797-1812
(=>
    (and
        (instance ?GUN Gun)
        (effectiveRange ?GUN ?LM)
        (distance ?GUN ?O ?LM1)
        (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 1779-1793
(=>
    (between ?END1 ?MID ?END2)
    (between ?END2 ?MID ?END1))
Merge.kif 6218-6220

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


(<=>
    (connects ?OBJ1 ?OBJ2 ?OBJ3)
    (between ?OBJ2 ?OBJ1 ?OBJ3))
Merge.kif 13231-13233 An object connects another object and a third object if and only if the object is between the other object and the third object
(=>
    (and
        (instance ?DIRECT DirectionalAttribute)
        (orientation ?OBJ1 ?OBJ2 ?DIRECT)
        (orientation ?OBJ2 ?OBJ3 ?DIRECT))
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 21703-21708
(=>
    (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 5484-5498
(=>
    (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 204-217
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))
Geography.kif 1189-1195
(=>
    (and
        (path ?PROCESS ?PATH1)
        (origin ?PROCESS ?SOURCE)
        (destination ?PROCESS ?DEST)
        (length ?PATH1 ?MEASURE1)
        (distance ?SOURCE ?DEST ?DISTANCE)
        (not
            (greaterThan ?MEASURE1 ?DISTANCE)))
    (forall (?OBJ)
        (=>
            (part ?OBJ ?PATH1)
            (between ?SOURCE ?OBJ ?DEST))))
Merge.kif 15141-15152
(=>
    (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 12843-12855
(=>
    (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 12831-12841
(=>
    (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 12816-12825
(=>
    (between ?END1 ?MID ?END2)
    (between ?END2 ?MID ?END1))
Merge.kif 6218-6220
(=>
    (betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH)
    (between ?OBJ1 ?OBJ2 ?OBJ3))
Merge.kif 6244-6246
(=>
    (instance ?FRONT StormFront)
    (exists (?AIR1 ?AIR2)
        (and
            (instance ?AIR1 Air)
            (instance ?AIR2 Air)
            (between ?AIR1 ?FRONT ?AIR2))))
Mid-level-ontology.kif 8801-8807
(=>
    (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 3204-3214
(=>
    (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 19310-19323