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 7751-7756
(documentation distance JapaneseLanguage "(distance ?OBJ1 ?OBJ2 ?QUANT) とは、２つのオブ ジェクト ?OBJ1と ?OBJ2の間の最短距離が ?QUANであることを意味する。注：述語 length と distance の違いは、length が単一のオブジェクトの次元の１つの LengthMeasure を表すために使用され、 distance は２つの異なるオブジェクトを区切る LengthMeasure を示すために使用される点である。") japanese_format.kif 1372-1375
(domain distance 1 Physical) Merge.kif 7747-7747 The number 1 argument of distance is an instance of physical
(domain distance 2 Physical) Merge.kif 7748-7748 The number 2 argument of distance is an instance of physical
(domain distance 3 LengthMeasure) Merge.kif 7749-7749 The number 3 argument of distance is an instance of length measure
(instance distance SingleValuedRelation) Merge.kif 7743-7743 distance is an instance of single valued relation
(instance distance SpatialRelation) Merge.kif 7744-7744 distance is an instance of spatial relation
(instance distance TernaryPredicate) Merge.kif 7745-7745 distance is an instance of ternary predicate
(instance distance TotalValuedRelation) Merge.kif 7746-7746 distance is an instance of total valued relation

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
(format FrenchLanguage distance "la distance entre %1 et %2 est %n %3") french_format.kif 375-375
(format ItalianLanguage distance "la distanza tra %1 e %2 è %3") relations-it.txt 78-78
(format JapaneseLanguage distance "%1 と %2 の distance は %3 では %n") japanese_format.kif 2109-2109
(format PortugueseLanguage distance "a distancia entre %1 e %2 e' %n %3") portuguese_format.kif 327-327
(format cb distance "ang agwat sa %1 ug %2 ay %3") relations-cb.txt 112-112
(format de distance "der abstand zwischen %1 und %2 ist %3") relations-de.txt 815-815
(format hi distance "%1 aura %2 ke biicha kii duurii %3 hai") relations-hindi.txt 118-118
(format ro distance "distance%t{distanþa} dintre %1 º %2 %n{nu} este %3") relations-ro.kif 397-397
(format sv distance "avståndet mellan %1 och %2 är %3") relations-sv.txt 417-417
(format tg distance "ang agwat sa %1 at %2 ay %3") relations-tg.txt 171-171
(subrelation depth distance) Merge.kif 7792-7792 depth is a subrelation of distance
(termFormat ChineseLanguage distance "距离") chinese_format.kif 622-622 depth is a subrelation of distance
(termFormat ChineseTraditionalLanguage distance "距離") domainEnglishFormat.kif 19946-19946 depth is a subrelation of distance
(termFormat EnglishLanguage distance "distance") domainEnglishFormat.kif 19945-19945 depth is a subrelation of distance
(termFormat de distance "abstand") terms-de.txt 241-241 depth is a subrelation of distance
(termFormat tg distance "agwat") relations-tg.txt 172-172 depth is a subrelation of distance

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


(=>
    (and
        (distanceOfParallelLinesInSpace ?L1 ?L2
            (MeasureFn ?D ?U))
        (instance ?U UnitOfLength)
        (parallelLinesInSpace ?L1 ?L2)
        (part ?P1 ?L1)
        (instance ?P1 PointInSpace)
        (part ?P2 ?L2)
        (instance ?P2 PointInSpace)
        (distance ?P1 ?P2
            (MeasureFn ?X ?U)))
    (lessThanOrEqualTo ?D ?X))		 Mid-level-ontology.kif 27364-27376
(=>
    (and
        (instance ?AREA
            (MaritimeClaimsTerritorialSeaFn ?PLACE))
        (width ?AREA
            (MeasureFn ?WIDTH ?UNIT))
        (distance ?OBJ ?PLACE
            (MeasureFn ?DISTANCE ?UNIT))
        (lessThanOrEqualTo ?DISTANCE ?WIDTH))
    (located ?OBJ ?AREA))		 Geography.kif 869-875
(=>
    (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
(=>
    (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 1549-1572
(=>
    (and
        (instance ?P1 PointInSpace)
        (instance ?P2 PointInSpace)
        (not
            (equal ?P1 ?P2))
        (instance ?L FiniteLineInSpace)
        (part ?P1 ?L)
        (part ?P2 ?L)
        (endPointsOfLineInSpace ?P1 ?P2 ?L)
        (length ?L
            (MeasureFn ?X ?U))
        (instance ?U UnitOfLength)
        (distance ?P1 ?P2
            (MeasureFn ?Y ?U)))
    (equal ?X ?Y))		 Mid-level-ontology.kif 27323-27338
(=>
    (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 832-845
(=>
    (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 858-867
(=>
    (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 847-856
(=>
    (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 11205-11215
(=>
    (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 1512-1532
(=>
    (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 18118-18133
(=>
    (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 18074-18099
(=>
    (and
        (side ?SIDE1 ?OBJECT)
        (side ?SIDE2 ?OBJECT)
        (distance ?SIDE1 ?SIDE2 ?WIDTH))
    (width ?OBJECT ?WIDTH))		 Merge.kif 9892-9897
(=>
    (distance ?OBJ1 ?OBJ2 ?QUANT)
    (distance ?OBJ2 ?OBJ1 ?QUANT))		 Merge.kif 7758-7760

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


(<=>
    (attribute ?WATER OpenSea)
    (exists (?LAND ?DIST)
        (and
            (instance ?WATER SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER
                (MeasureFn ?DIST NauticalMile))
            (greaterThan ?DIST 5.0))))		 Geography.kif 4781-4790 Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (exists (?TOP)
        (and
            (top ?TOP ?OBJ1)
            (distance ?TOP ?OBJ2 ?HEIGHT))))		 Merge.kif 7785-7790
(=>
    (altitude ?OBJ1 ?OBJ2 ?Q)
    (distance ?OBJ1 ?OBJ2 ?Q))		 Merge.kif 7762-7764
(=>
    (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 1910-1918
(=>
    (and
        (height ?OBJECT ?HEIGHT)
        (top ?TOP ?OBJECT)
        (bottom ?BOTTOM ?OBJECT))
    (distance ?TOP ?BOTTOM ?HEIGHT))		 Merge.kif 9899-9904
(=>
    (and
        (instance ?A AstronomicalBody)
        (approximateDiameter ?A
            (MeasureFn ?D ?U))
        (instance ?U UnitOfLength)
        (instance ?P PointInSpace)
        (part ?P ?A))
    (exists (?C)
        (and
            (equal ?C
                (CenterOfPlanetFn ?A))
            (distance ?C ?P
                (MeasureFn
                    (DivisionFn ?D 2.0) ?U)))))		 Mid-level-ontology.kif 27455-27469
(=>
    (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 1927-1949
(=>
    (and
        (instance ?MAF MovingAwayFrom)
        (instance ?RELATIVEOBJECT Object)
        (instance ?REFERENCEOBJECT Object)
        (patient ?MAF ?RELATIVEOBJECT)
        (patient ?MAF ?REFERENCEOBJECT))
    (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U)
        (and
            (instance ?BEFOREDISTANCE RealNumber)
            (instance ?AFTERDISTANCE RealNumber)
            (moves ?MAF ?RELATIVEOBJECT)
            (holdsDuring
                (BeginFn
                    (WhenFn ?MAF))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?BEFOREDISTANCE ?U)))
            (holdsDuring
                (EndFn
                    (WhenFn ?MAF))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?AFTERDISTANCE ?U)))
            (greaterThan ?AFTERDISTANCE ?BEFOREDISTANCE))))		 Mid-level-ontology.kif 33731-33751
(=>
    (and
        (instance ?MT MovingTowards)
        (instance ?RELATIVEOBJECT Object)
        (instance ?REFERENCEOBJECT Object)
        (patient ?MT ?REFERENCEOBJECT)
        (patient ?MT ?RELATIVEOBJECT))
    (exists (?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE)
        (and
            (instance ?BEFOREDISTANCE RealNumber)
            (instance ?AFTERDISTANCE RealNumber)
            (moves ?MT ?RELATIVEOBJECT)
            (holdsDuring
                (BeginFn
                    (WhenFn ?MT))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?BEFOREDISTANCE ?U)))
            (holdsDuring
                (EndFn
                    (WhenFn ?MT))
                (distance ?RELATIVEOBJECT ?REFERENCEOBJECT
                    (MeasureFn ?AFTERDISTANCE ?U)))
            (greaterThan ?BEFOREDISTANCE ?AFTERDISTANCE))))		 Mid-level-ontology.kif 33758-33778
(=>
    (and
        (instance ?MTP MovingAwayFromPeople)
        (agent ?MTP ?A))
    (exists (?P ?U ?D1 ?D2)
        (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 1393-1411
(=>
    (and
        (instance ?MTP MovingTowardsPeople)
        (agent ?MTP ?A))
    (exists (?P ?U ?D1 ?D2)
        (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 1427-1445
(=>
    (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 836-846
(=>
    (and
        (instance ?P Pulling)
        (origin ?P ?O)
        (agent ?P ?A)
        (holdsDuring
            (BeginFn ?P)
            (located ?A ?ALOC))
        (destination ?P ?D))
    (holdsDuring
        (ImmediateFutureFn
            (BeginFn ?P))
        (exists (?LARGER ?U ?SMALLER)
            (and
                (distance ?ALOC ?D
                    (MeasureFn ?SMALLER ?U))
                (distance ?ALOC ?O
                    (MeasureFn ?LARGER ?U))
                (greaterThan ?LARGER ?SMALLER)))))		 Mid-level-ontology.kif 19189-19207
(=>
    (and
        (instance ?P Pushing)
        (origin ?P ?O)
        (agent ?P ?A)
        (holdsDuring
            (BeginFn ?P)
            (located ?A ?ALOC))
        (destination ?P ?D))
    (holdsDuring
        (ImmediateFutureFn
            (BeginFn ?P))
        (exists (?LARGER ?U ?SMALLER)
            (and
                (distance ?ALOC ?D
                    (MeasureFn ?SMALLER ?U))
                (distance ?ALOC ?O
                    (MeasureFn ?LARGER ?U))
                (greaterThan ?LARGER ?SMALLER)))))		 Mid-level-ontology.kif 19167-19185
(=>
    (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 677-690
(=>
    (and
        (origin AntarcticCircumpolarCurrent ?START)
        (destination AntarcticCircumpolarCurrent ?FINISH))
    (distance ?START ?FINISH
        (MeasureFn 21000.0
            (KiloFn Meter))))		 Geography.kif 4767-4773
(=>
    (and
        (physicalAmplitude ?T
            (MeasureFn ?L ?U))
        (instance ?U UnitOfLength)
        (patient ?T ?O))
    (not
        (exists (?P1 ?P2 ?T1 ?T2 ?L2)
            (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 1512-1532
(=>
    (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 18118-18133
(=>
    (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 3244-3264
(=>
    (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 3266-3287
(=>
    (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 3225-3242
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (exists (?BOTTOM)
        (and
            (bottom ?BOTTOM ?OBJ1)
            (distance ?BOTTOM ?OBJ2 ?DEPTH))))		 Merge.kif 7810-7815
(=>
    (distance ?OBJ1 ?OBJ2 ?QUANT)
    (distance ?OBJ2 ?OBJ1 ?QUANT))		 Merge.kif 7758-7760

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