(<=>
(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 4780-4789 |
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 7760-7765 |
|
(=>
(altitude ?OBJ1 ?OBJ2 ?Q)
(distance ?OBJ1 ?OBJ2 ?Q)) |
Merge.kif 7737-7739 |
|
(=>
(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 9841-9846 |
|
(=>
(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 ?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 826-836 |
|
(=>
(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 18727-18745 |
|
(=>
(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 18705-18723 |
|
(=>
(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 4766-4772 |
|
(=>
(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 1288-1308 |
|
(=>
(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 18051-18066 |
|
(=>
(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 2710-2730 |
|
(=>
(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 2732-2753 |
|
(=>
(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 2691-2708 |
|
(=>
(depth ?OBJ1 ?OBJ2 ?DEPTH)
(exists (?BOTTOM)
(and
(bottom ?BOTTOM ?OBJ1)
(distance ?BOTTOM ?OBJ2 ?DEPTH)))) |
Merge.kif 7782-7787 |
|
(=>
(distance ?OBJ1 ?OBJ2 ?QUANT)
(distance ?OBJ2 ?OBJ1 ?QUANT)) |
Merge.kif 7733-7735 |
|
(=>
(elevation ?OBJECT ?HEIGHT)
(exists (?DATUM)
(and
(properPart ?DATUM SeaLevel)
(orientation ?OBJECT ?DATUM Vertical)
(distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 1902-1908 |
|
(=>
(equal
(MeasureFn ?X PoundForce)
(JankaHardnessFn ?CLASS))
(modalAttribute
(exists (?T ?W ?P ?B ?H ?S)
(and
(instance ?T ?CLASS)
(part ?W ?T)
(instance ?W Wood)
(instance ?P Pushing)
(destination ?P ?W)
(instance ?B Ball)
(material ?B Steel)
(patient ?P ?B)
(sphereRadius ?B
(MeasureFn 5.64 Millimeter))
(result ?P ?H)
(instance ?H HoleRegion)
(part ?H ?W)
(surface ?S ?W)
(distance ?S ?H
(MeasureFn 5.64 Millimeter))
(measure ?P
(MeasureFn ?X PoundForce)))) Likely)) |
Mid-level-ontology.kif 9964-9987 |
- If a real number pound force(s) is equal to The Janka Hardness of a kind of botanical tree is,
- then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely
|
(=>
(instance ?AREA UniformPerimeterArea)
(exists (?WIDTH)
(distance
(InnerBoundaryFn ?AREA)
(OuterBoundaryFn ?AREA) ?WIDTH))) |
Geography.kif 820-823 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
