(=>
(and
(resourceExhausted ?P ?R)
(instance ?R ?C))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?P))
(not
(exists (?OBJ1)
(and
(part ?OBJ1 ?R)
(instance ?OBJ1 ?C)))))) |
Merge.kif 2537-2546 |
|
(=>
(diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
(exists (?ORGANISM ?TIME ?SAMPLE ?PROC)
(and
(holdsDuring ?TIME
(attribute ?ORGANISM ?DISEASE))
(increasesLikelihood
(and
(instance ?PROC ?PROCESS)
(temporalPart
(WhenFn ?PROC) ?TIME)
(experiencer ?PROC ?ORGANISM)
(patient ?PROC ?SAMPLE)
(instance ?SAMPLE ?SUBSTANCE))
(holdsDuring
(ImmediateFutureFn ?TIME)
(not
(attribute ?ORGANISM ?DISEASE))))))) |
WMD.kif 941-955 |
|
(=>
(holdsDuring ?T
(and
(maxDeviceOperatingTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOn)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(greaterThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3629-3642 |
|
(=>
(holdsDuring ?T
(and
(maxDeviceStorageTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOff)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(greaterThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3657-3670 |
|
(=>
(holdsDuring ?T
(and
(minDeviceOperatingTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOn)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(lessThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3682-3695 |
|
(=>
(holdsDuring ?T
(and
(minDeviceStorageTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOff)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(lessThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) Likely)) |
ComputingBrands.kif 3708-3721 |
|
(=>
(holdsDuring ?T
(attribute ?H Covid19))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(and
(instance ?CA COVIDAntibody)
(part ?CA ?H))) Likely)) |
Medicine.kif 2798-2807 |
|
(=>
(holdsDuring ?T
(attribute ?H Sleepy))
(desires ?H
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?H Asleep)))) |
Mid-level-ontology.kif 16434-16440 |
|
(=>
(holdsDuring ?TIME
(attribute ?T Tourniquet))
(exists (?P ?B ?A)
(and
(instance ?P Human)
(instance ?B Bleeding)
(instance ?A Attaching)
(experiencer ?B ?P)
(destination ?A ?P)
(objectTransferred ?A ?T)
(hasPurpose ?T
(not
(exists (?B2)
(and
(instance ?B2 Bleeding)
(overlapsTemporally
(WhenFn ?B2)
(ImmediateFutureFn
(WhenFn ?A)))
(experiencer ?B2 ?P)))))))) |
Medicine.kif 20-39 |
|
(=>
(holdsDuring ?TIME
(confersNorm ?ENTITY ?FORMULA ?NORM))
(and
(holdsDuring
(ImmediatePastFn ?TIME)
(not
(modalAttribute ?FORMULA ?NORM)))
(holdsDuring
(ImmediateFutureFn ?TIME)
(modalAttribute ?FORMULA ?NORM)))) |
Merge.kif 4000-4010 |
|
(=>
(holdsDuring ?TIME
(deprivesNorm ?ENTITY ?FORMULA ?NORM))
(and
(holdsDuring
(ImmediatePastFn ?TIME)
(modalAttribute ?FORMULA ?NORM))
(holdsDuring
(ImmediateFutureFn ?TIME)
(not
(modalAttribute ?FORMULA ?NORM))))) |
Merge.kif 4022-4031 |
|
(=>
(instance ?BA BleedingAir)
(hasPurpose ?BA
(exists (?FC ?A)
(and
(instance ?FC FluidContainer)
(instance ?A Air)
(holdsDuring
(ImmediatePastFn ?BA)
(contains ?FC ?A))
(holdsDuring
(ImmediateFutureFn ?BA)
(not
(contains ?FC ?A))))))) |
Cars.kif 1519-1529 |
|
(=>
(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 ?C Coronation)
(exists (?PERSON ?PLACE)
(and
(instance ?PERSON Human)
(patient ?C ?PERSON)
(instance ?PLACE GeopoliticalArea)
(holdsDuring
(BeginFn
(WhenFn ?C))
(not
(chiefOfState ?PLACE Monarch ?PERSON)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?C))
(chiefOfState ?PLACE Monarch ?PERSON))))) |
Government.kif 1375-1390 |
|
(=>
(instance ?FD FoodDistributionOperation)
(exists (?FOOD ?CA)
(and
(instance ?FOOD
(FoodForFn Animal))
(instance ?CA CognitiveAgent)
(patient ?FD ?FOOD)
(destination ?FD ?CA)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FD))
(possesses ?CA ?FOOD))))) |
Military.kif 62-71 |
|
(=>
(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)
(starts
(ImmediateFutureFn ?INTERVAL)
(FutureFn ?INTERVAL))) |
Merge.kif 8535-8537 |
|
(=>
(instance ?MD MountingADevice)
(exists (?C ?P)
(and
(instance ?C Computer)
(instance ?P ComputerIODevice)
(patient ?MD ?C)
(patient ?MD ?P)
(holdsDuring
(WhenFn ?MD)
(connectedEngineeringComponents ?C ?P))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?MD))
(connectedPeripheral ?P ?C))))) |
ComputingBrands.kif 3801-3812 |
|
(=>
(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 ?WED Wedding)
(exists (?PERSON1 ?PERSON2)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?WED))
(spouse ?PERSON1 ?PERSON2)))) |
Mid-level-ontology.kif 7965-7970 |
|
(=>
(instance ?X DeletingData)
(and
(exists (?DATA)
(and
(instance ?DATA DigitalData)
(patient ?X ?DATA)))
(not
(exists (?PROC ?CLASS)
(and
(instance ?PROC ComputerProcess)
(instance ?PROC ?CLASS)
(not
(instance ?PROC RestoringData))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?X))
(capability ?CLASS patient ?DATA))))))) |
QoSontology.kif 112-129 |
|
(=>
(instance ?X Key)
(hasPurpose ?X
(exists (?LOCK ?CLOSE ?OPEN)
(and
(instance ?LOCK Lock)
(capability
(KappaFn ?CLOSE
(and
(instance ?CLOSE Closing)
(patient ?CLOSE ?LOCK)
(holdsDuring
(ImmediateFutureFn ?CLOSE)
(attribute ?LOCK Locked)))) instrument ?X)
(capability
(KappaFn ?OPEN
(and
(instance ?OPEN Closing)
(patient ?OPEN ?LOCK)
(holdsDuring
(ImmediateFutureFn ?OPEN)
(not
(attribute ?LOCK Locked))))) instrument ?X))))) |
Mid-level-ontology.kif 2670-2692 |
|
(=>
(instance ?X OperatorAssistedTelephoneCommunication)
(exists (?ORIGIN ?DEST ?OPERATOR)
(and
(origin ?X ?ORIGIN)
(destination ?X ?DEST)
(instance ?OPERATOR Human)
(hasPurpose ?OPERATOR
(exists (?PROC)
(and
(instance ?PROC IntentionalProcess)
(agent ?PROC ?OPERATOR)
(subProcess ?PROC ?X)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?PROC))
(modalAttribute
(exists (?COMM)
(and
(instance ?COMM Communication)
(origin ?COMM ?ORIGIN)
(destination ?COMM ?DEST))) Possibility)))))))) |
Mid-level-ontology.kif 27047-27069 |
|
(=>
(instance ?X RemoteKeylessSystem)
(exists (?KEY ?LOCK ?CLOSE ?OPEN)
(and
(instance ?KEY Key)
(instance ?KEY RemoteControl)
(member ?KEY ?X)
(instance ?LOCK Lock)
(member ?LOCK ?X)
(capability
(KappaFn ?CLOSE
(and
(instance ?CLOSE Closing)
(patient ?CLOSE ?LOCK)
(holdsDuring
(ImmediateFutureFn ?CLOSE)
(attribute ?LOCK Locked)))) instrument ?KEY)
(capability
(KappaFn ?OPEN
(and
(instance ?OPEN Closing)
(patient ?OPEN ?LOCK)
(holdsDuring
(ImmediateFutureFn ?OPEN)
(not
(attribute ?LOCK Locked))))) instrument ?KEY)))) |
Cars.kif 3775-3800 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |