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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - distance
distance

appearance as argument number 1
-------------------------


(documentation distance ChineseLanguage "(distance ?OBJ1 ?OBJ2 ?QUANT) 的意思是两个物体 ?OBJ1 和 ?OBJ2 最短的距离是 ?QUANT。注：谓词 length 和 distance 之间的分别在于，length 是用来表示一个单一物体其中一个维度的 LengthMeasure，而是用来表示两个不同物体之间的LengthMeasure。") chinese_format.kif 2655-2657
(documentation distance EnglishLanguage "(distance ?OBJ1 ?OBJ2 ?QUANT) means that the shortest distance between the two objects ?OBJ1 and ?OBJ2 is ?QUANT. Note that the difference between the predicates length and distance is that the length is used to state the LengthMeasure of one of the dimensions of a single object, while distance is used to state the LengthMeasure that separates two distinct objects.") Merge.kif 7588-7593
(domain distance 1 Physical) Merge.kif 7584-7584
(domain distance 2 Physical) Merge.kif 7585-7585
(domain distance 3 LengthMeasure) Merge.kif 7586-7586
(instance distance SingleValuedRelation) Merge.kif 7580-7580
(instance distance SpatialRelation) Merge.kif 7581-7581
(instance distance TernaryPredicate) Merge.kif 7582-7582
(instance distance TotalValuedRelation) Merge.kif 7583-7583

appearance as argument number 2
-------------------------


(format ChineseLanguage distance "%1 和 %2 的 distance %n 是 %3") chinese_format.kif 621-621
(format EnglishLanguage distance "the distance between %1 and %2 is %n %3") english_format.kif 624-624
(subrelation depth distance) Merge.kif 7629-7629
(termFormat ChineseLanguage distance "距离") chinese_format.kif 622-622
(termFormat ChineseTraditionalLanguage distance "距離") domainEnglishFormat.kif 19928-19928
(termFormat EnglishLanguage distance "distance") domainEnglishFormat.kif 19927-19927

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


(=>
    (and
        (instance ?AREA
            (MaritimeClaimsTerritorialSeaFn ?PLACE))
        (width ?AREA
            (MeasureFn ?WIDTH ?UNIT))
        (distance ?OBJ ?PLACE
            (MeasureFn ?DISTANCE ?UNIT))
        (lessThanOrEqualTo ?DISTANCE ?WIDTH))
    (located ?OBJ ?AREA))		 Geography.kif 881-887
(=>
    (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
(=>
    (and
        (instance ?L Lever)
        (instance ?P Pushing)
        (instance ?M1 Motion)
        (instance ?U UnitOfLength)
        (destination ?P ?E1)
        (physicalEnd ?E1 ?L)
        (physicalEnd ?E2 ?L)
        (not
            (equal ?E1 ?E2))
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?M1))
            (located ?E1 ?P1))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?M1))
            (located ?E1 ?P2))
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?M1))
            (located ?E2 ?P3))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?M1))
            (located ?E2 ?P4))
        (distance ?P1 ?P2
            (MeasureFn ?D1 ?U))
        (distance ?P3 ?P4
            (MeasureFn ?D2 ?U)))
    (greaterThan ?D2 ?D1))		 Mid-level-ontology.kif 1289-1312
(=>
    (and
        (instance ?ZONE UniformPerimeterArea)
        (part ?INNER1
            (InnerBoundaryFn ?ZONE))
        (part ?OUTER1
            (OuterBoundaryFn ?ZONE))
        (distance ?INNER1 ?OUTER1 ?WIDTH1)
        (part ?INNER2
            (InnerBoundaryFn ?ZONE))
        (part ?OUTER2
            (OuterBoundaryFn ?ZONE))
        (distance ?INNER2 ?OUTER2 ?WIDTH2))
    (equal ?WIDTH1 ?WIDTH2))		 Geography.kif 844-857
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (greaterThan
            (SubtractionFn ?FAR ?LIMIT) 0.0))
    (not
        (located ?OBJ ?ZONE)))		 Geography.kif 870-879
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (lessThanOrEqualTo
            (SubtractionFn ?FAR ?LIMIT) 0.0))
    (located ?OBJ ?ZONE))		 Geography.kif 859-868
(=>
    (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
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (part ?P1 ?E1)
        (part ?P2 ?E2)
        (instance ?U UnitOfLength)
        (distance ?P1 ?P2
            (MeasureFn ?D1 ?U))
        (not
            (equal ?E1 ?E2)))
    (not
        (exists (?OP1 ?OP2 ?D2)
            (and
                (not
                    (part ?OP1 ?E1))
                (not
                    (part ?OP2 ?E2))
                (distance ?OP1 ?OP2
                    (MeasureFn ?D2 ?U))
                (greaterThan ?D2 ?D1)))))		 Mid-level-ontology.kif 1252-1272
(=>
    (and
        (physicalEnd ?P1 ?O)
        (physicalEnd ?P2 ?O)
        (not
            (equal ?P1 ?P2))
        (distance ?P1 ?P2
            (MeasureFn ?D ?U)))
    (not
        (exists (?OP1 ?OP2 ?N2)
            (and
                (physicalEnd ?OP1 ?O)
                (physicalEnd ?OP2 ?O)
                (not
                    (equal ?OP1 ?OP2))
                (distance ?OP1 ?OP2
                    (MeasureFn ?N2 ?U))
                (greaterThan ?N2 ?D)))))		 Merge.kif 17678-17693
(=>
    (and
        (relativeAngle ?O1 ?O2 ?N)
        (physicalEnd ?E1 ?O1)
        (physicalEnd ?E2 ?O1)
        (not
            (equal ?E1 ?E2))
        (length ?O1
            (MeasureFn ?N1 ?U))
        (length ?O2
            (MeasureFn ?N2 ?U))
        (distance ?E1 ?E3
            (MeasureFn ?N3 ?U))
        (physicalEnd ?E3 ?O2)
        (physicalEnd ?E4 ?O2)
        (not
            (equal ?E3 ?E4))
        (not
            (meetsSpatially ?E1 ?E3)))
    (equal ?N
        (ArcCosineFn
            (DivisionFn
                (SubtractionFn
                    (SubtractionFn
                        (MultiplicationFn ?N3 ?N3)
                        (MultiplicationFn ?N1 ?N1))
                    (MultiplicationFn ?N2 ?N2))
                (MultiplicationFn 2.0
                    (MultiplicationFn ?N1 ?N2))))))		 Merge.kif 17637-17662
(=>
    (distance ?OBJ1 ?OBJ2 ?QUANT)
    (distance ?OBJ2 ?OBJ1 ?QUANT))		 Merge.kif 7595-7597
(=>
    (exists (?SIDE1 ?SIDE2)
        (and
            (side ?SIDE1 ?OBJECT)
            (side ?SIDE2 ?OBJECT)
            (distance ?SIDE1 ?SIDE2 ?WIDTH)))
    (width ?OBJECT ?WIDTH))		 Merge.kif 9670-9676

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


(<=>
    (attribute ?WATER OpenSea)
    (and
        (instance ?WATER SaltWaterArea)
        (not
            (instance ?WATER LandlockedWater))
        (distance ?LAND ?WATER
            (MeasureFn ?DIST NauticalMile))
        (greaterThan ?DIST 5.0)))		 Geography.kif 4610-4618
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (exists (?TOP)
        (and
            (top ?TOP ?OBJ1)
            (distance ?TOP ?OBJ2 ?HEIGHT))))		 Merge.kif 7622-7627
(=>
    (altitude ?OBJ1 ?OBJ2 ?Q)
    (distance ?OBJ1 ?OBJ2 ?Q))		 Merge.kif 7599-7601
(=>
    (and
        (elevation ?OBJECT
            (MeasureFn ?NUM ?UNIT))
        (instance ?UNIT UnitOfLength)
        (instance ?OBJECT LandForm))
    (exists (?HIGHPOINT)
        (and
            (top ?HIGHPOINT ?OBJECT)
            (distance ?HIGHPOINT SeaLevel
                (MeasureFn ?NUM ?UNIT)))))		 Geography.kif 1925-1933
(=>
    (and
        (height ?OBJECT ?HEIGHT)
        (top ?TOP ?OBJECT)
        (bottom ?BOTTOM ?OBJECT))
    (distance ?TOP ?BOTTOM ?HEIGHT))		 Merge.kif 9678-9683
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?P Piston)
        (instance ?U UnitOfLength)
        (part ?P ?E)
        (patient ?EC ?P)
        (eventLocated ?EC ?E)
        (pistonStroke ?E
            (MeasureFn ?LM ?U)))
    (not
        (exists (?T1 ?T2 ?L1 ?L2 ?D)
            (and
                (during ?T1
                    (WhenFn ?EC))
                (during ?T2
                    (WhenFn ?EC))
                (holdsDuring ?T1
                    (located ?P ?L1))
                (holdsDuring ?T2
                    (located ?P ?L2))
                (distance ?L1 ?L2
                    (MeasureFn ?D ?U))
                (greaterThan ?D ?LM)))))		 Cars.kif 1943-1965
(=>
    (and
        (instance ?MTP MovingAwayFromPeople)
        (agent ?MTP ?A))
    (exists (?P)
        (and
            (instance ?P Human)
            (instance ?U UnitOfLength)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?MTP))
                (distance ?MTP ?A
                    (MeasureFn ?D1 ?U)))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?MTP))
                (distance ?MTP ?A
                    (MeasureFn ?D2 ?U)))
            (greaterThan ?D2 ?D1))))		 emotion.kif 1401-1419
(=>
    (and
        (instance ?MTP MovingTowardsPeople)
        (agent ?MTP ?A))
    (exists (?P)
        (and
            (instance ?P Human)
            (instance ?U UnitOfLength)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?MTP))
                (distance ?MTP ?A
                    (MeasureFn ?D1 ?U)))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?MTP))
                (distance ?MTP ?A
                    (MeasureFn ?D2 ?U)))
            (greaterThan ?D1 ?D2))))		 emotion.kif 1435-1453
(=>
    (and
        (instance ?P Pulling)
        (agent ?P ?A)
        (patient ?P ?PULLED)
        (destination ?P ?D))
    (holdsDuring ?P
        (and
            (distance ?A ?D ?SMALLER)
            (distance ?PULLED ?D ?LARGER)
            (greaterThan ?LARGER ?SMALLER))))		 Military.kif 759-769
(=>
    (and
        (instance ?P Pulling)
        (origin ?P ?O)
        (agent ?P ?A)
        (holdsDuring
            (BeginFn ?P)
            (located ?A ?ALOC))
        (destination ?P ?D))
    (holdsDuring
        (ImmediateFutureFn
            (BeginFn ?P))
        (and
            (distance ?ALOC ?D
                (MeasureFn ?SMALLER ?U))
            (distance ?ALOC ?O
                (MeasureFn ?LARGER ?U))
            (greaterThan ?LARGER ?SMALLER))))		 Mid-level-ontology.kif 17054-17071
(=>
    (and
        (instance ?P Pushing)
        (origin ?P ?O)
        (agent ?P ?A)
        (holdsDuring
            (BeginFn ?P)
            (located ?A ?ALOC))
        (destination ?P ?D))
    (holdsDuring
        (ImmediateFutureFn
            (BeginFn ?P))
        (and
            (distance ?ALOC ?D
                (MeasureFn ?SMALLER ?U))
            (distance ?ALOC ?O
                (MeasureFn ?LARGER ?U))
            (greaterThan ?LARGER ?SMALLER))))		 Mid-level-ontology.kif 17033-17050
(=>
    (and
        (instance ?TC TropicalCyclone)
        (destination ?TC ?DEST)
        (instance ?DEST GeographicArea))
    (not
        (exists (?L ?SL ?X)
            (and
                (instance ?L LandArea)
                (instance ?SL Shoreline)
                (located ?DEST ?L)
                (distance ?L ?SL
                    (MeasureFn ?X Mile))
                (greaterThan ?X 200.0)))))		 Weather.kif 693-706
(=>
    (and
        (origin AntarcticCircumpolarCurrent ?START)
        (destination AntarcticCircumpolarCurrent ?FINISH))
    (distance ?START ?FINISH
        (MeasureFn 21000.0
            (KiloFn Meter))))		 Geography.kif 4596-4602
(=>
    (and
        (physicalAmplitude ?T
            (MeasureFn ?L ?U))
        (instance ?U UnitOfLength)
        (patient ?T ?O))
    (not
        (exists (?P1 ?P2 ?T1 ?T2)
            (and
                (during ?T1
                    (WhenFn ?T))
                (during ?T2
                    (WhenFn ?T))
                (holdsDuring ?T1
                    (located ?O ?P1))
                (holdsDuring ?T2
                    (located ?O ?P2))
                (distance ?P1 ?P2
                    (MeasureFn ?L2 ?U))
                (greaterThan ?L2 ?L)))))		 Cars.kif 751-768
(=>
    (and
        (physicalAmplitude ?T ?L)
        (patient ?T ?O))
    (exists (?P1 ?P2 ?T1 ?T2)
        (and
            (during ?T1
                (WhenFn ?T))
            (during ?T2
                (WhenFn ?T))
            (holdsDuring ?T1
                (located ?O ?P1))
            (holdsDuring ?T2
                (located ?O ?P2))
            (distance ?P1 ?P2 ?L))))		 Cars.kif 737-749
(=>
    (and
        (physicalEnd ?E1 ?O)
        (physicalEnd ?E2 ?O)
        (part ?P1 ?E1)
        (part ?P2 ?E2)
        (instance ?U UnitOfLength)
        (distance ?P1 ?P2
            (MeasureFn ?D1 ?U))
        (not
            (equal ?E1 ?E2)))
    (not
        (exists (?OP1 ?OP2 ?D2)
            (and
                (not
                    (part ?OP1 ?E1))
                (not
                    (part ?OP2 ?E2))
                (distance ?OP1 ?OP2
                    (MeasureFn ?D2 ?U))
                (greaterThan ?D2 ?D1)))))		 Mid-level-ontology.kif 1252-1272
(=>
    (and
        (physicalEnd ?P1 ?O)
        (physicalEnd ?P2 ?O)
        (not
            (equal ?P1 ?P2))
        (distance ?P1 ?P2
            (MeasureFn ?D ?U)))
    (not
        (exists (?OP1 ?OP2 ?N2)
            (and
                (physicalEnd ?OP1 ?O)
                (physicalEnd ?OP2 ?O)
                (not
                    (equal ?OP1 ?OP2))
                (distance ?OP1 ?OP2
                    (MeasureFn ?N2 ?U))
                (greaterThan ?N2 ?D)))))		 Merge.kif 17678-17693
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time DayTime)
        (instance ?Observe Looking)
        (instance ?B Object)
        (color ?B Black)
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))		 Weather.kif 2727-2747
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000.0 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))		 Weather.kif 2749-2770
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure))
    (not
        (exists (?Observe ?A ?B ?D2)
            (and
                (instance ?Observe Looking)
                (agent ?Observe ?A)
                (patient ?Observe ?B)
                (orientation ?A ?B Horizontal)
                (during
                    (WhenFn ?Observe) ?Time)
                (eventLocated ?Observe ?Area)
                (distance ?A ?B
                    (MeasureFn ?D2 ?U))
                (greaterThan ?D2 ?Distance)))))		 Weather.kif 2708-2725
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (exists (?BOTTOM)
        (and
            (bottom ?BOTTOM ?OBJ1)
            (distance ?BOTTOM ?OBJ2 ?DEPTH))))		 Merge.kif 7644-7649
(=>
    (distance ?OBJ1 ?OBJ2 ?QUANT)
    (distance ?OBJ2 ?OBJ1 ?QUANT))		 Merge.kif 7595-7597
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?DATUM)
        (and
            (properPart ?DATUM SeaLevel)
            (orientation ?OBJECT ?DATUM Vertical)
            (distance ?OBJECT ?DATUM ?HEIGHT))))		 Geography.kif 1917-1923
(=>
    (instance ?AREA UniformPerimeterArea)
    (exists (?WIDTH)
        (distance
            (InnerBoundaryFn ?AREA)
            (OuterBoundaryFn ?AREA) ?WIDTH)))		 Geography.kif 832-835
(=>
    (waveHeight ?WW ?X)
    (exists (?WATER ?CREST ?TROUGH)
        (and
            (instance ?WATER BodyOfWater)
            (eventLocated ?WW ?WATER)
            (part ?CREST ?WATER)
            (part ?TROUGH ?WATER)
            (distance ?CREST ?TROUGH ?X)
            (not
                (exists (?A ?AH)
                    (and
                        (part ?A ?WATER)
                        (altitude ?A ?CREST
                            (MeasureFn ?AH ?U))
                        (greaterThan ?AH 0.0))))
            (not
                (exists (?B ?BH)
                    (and
                        (part ?B ?WATER)
                        (altitude ?TROUGH ?B
                            (MeasureFn ?BH ?U))
                        (greaterThan ?BH 0.0)))))))		 Weather.kif 1419-1439

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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