(=>
(instance ?BERG Iceberg)
(exists (?SHEET)
(and
(subclass ?SHEET Glacier)
(holdsDuring
(ImmediatePastFn
(WhenFn ?BERG))
(material ?SHEET ?BERG))))) |
Geography.kif 4732-4740 |
|
(=>
(instance ?C Clotting)
(exists (?B)
(and
(instance ?B Blood)
(holdsDuring
(ImmediatePastFn
(WhenFn ?C))
(attribute ?B Liquid))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?C))
(attribute ?B Solid))))) |
Mid-level-ontology.kif 10498-10510 |
|
(=>
(instance ?FMIP FindMyIPhone)
(hasPurpose ?FMIP
(exists (?A ?IP ?P ?L)
(and
(instance ?IP AppleIPhone)
(instrument ?P ?FMIP)
(agent ?P ?A)
(patient ?P ?IP)
(holdsDuring
(ImmediatePastFn
(WhenFn ?P))
(not
(knows ?A
(located ?IP ?L))))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?P))
(knows ?A
(located ?IP ?L))))))) |
ComputingBrands.kif 4263-4282 |
|
(=>
(instance ?I Inflating)
(exists (?G1 ?G2 ?V1 ?V2 ?S ?U)
(and
(instance ?G1 ?S)
(instance ?G2 ?S)
(instance ?S Substance)
(attribute ?G1 Gas)
(attribute ?G2 Gas)
(instance ?U UnitOfVolume)
(holdsDuring
(ImmediatePastFn
(WhenFn ?I))
(measure ?G1
(MeasureFn ?V1 ?U)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?I))
(measure ?G2
(MeasureFn ?V2 ?U)))
(greaterThan ?V2 ?V1)))) |
Cars.kif 3606-3622 |
- If a physical is an instance of inflating,
- then there exist an object, another object,, , a real number,, , another real number,, , a class and an entity such that the object is an instance of the class and the other object is an instance of the class and the class is an instance of substance and gas is an attribute of the object and gas is an attribute of the other object and the entity is an instance of unit of volume and the measure of the object is the real number the entity(s) holds during immediately before the time of existence of the physical and the measure of the other object is the other real number the entity(s) holds during immediately after the time of existence of the physical and the other real number is greater than the real number
|
(=>
(instance ?INTERVAL TimeInterval)
(finishes
(ImmediatePastFn ?INTERVAL)
(PastFn ?INTERVAL))) |
Merge.kif 8504-8506 |
|
(=>
(instance ?S Shrapnel)
(exists (?B ?E)
(and
(instance ?B Bomb)
(instance ?E Explosion)
(instrument ?E ?B)
(holdsDuring
(ImmediatePastFn
(WhenFn ?E))
(part ?S ?B))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?E))
(not
(part ?S ?B)))))) |
MilitaryDevices.kif 2103-2118 |
|
(=>
(instance ?X Hijacking)
(exists (?V ?A)
(and
(agent ?X ?A)
(instance ?V TransportationDevice)
(holdsDuring
(ImmediatePastFn
(WhenFn ?X))
(not
(possesses ?A ?V)))
(holdsDuring
(WhenFn ?X)
(possesses ?A ?V))))) |
Mid-level-ontology.kif 21904-21917 |
|
(=>
(instance ?X Kidnapping)
(exists (?A ?LOC1 ?LOC2)
(and
(instance ?A SentientAgent)
(instance ?LOC1 GeographicArea)
(instance ?LOC2 GeographicArea)
(not
(equal ?LOC1 ?LOC2))
(holdsDuring
(ImmediatePastFn
(WhenFn ?X))
(located ?A ?LOC1))
(holdsDuring
(WhenFn ?X)
(located ?A ?LOC2))))) |
Mid-level-ontology.kif 21960-21975 |
|
(=>
(objectTransferred ?P ?OBJ)
(exists (?O ?D)
(and
(origin ?P ?O)
(destination ?P ?D)
(holdsDuring
(ImmediatePastFn ?P)
(located ?OBJ ?O))
(holdsDuring
(ImmediateFutureFn ?P)
(located ?OBJ ?D))))) |
Merge.kif 11339-11350 |
|