(=>
(and
(defaultMaximumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT))
(instance ?UNIT CompositeUnitOfMeasure))
(modalAttribute
(exists (?INST ?QUANTITY)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT))
(greaterThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 13754-13763 |
|
(=>
(and
(defaultMaximumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT1))
(subclass ?UNITCLASS NonCompositeUnitOfMeasure)
(instance ?UNIT1 ?UNITCLASS))
(modalAttribute
(exists (?INST ?QUANTITY ?UNIT2)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT2))
(instance ?UNIT2 ?UNITCLASS)
(greaterThan
(MeasureFn ?QUANTITY ?UNIT2)
(MeasureFn ?Q ?UNIT1)))) Unlikely)) |
Mid-level-ontology.kif 13765-13776 |
|
(=>
(and
(defaultMaximumSphereRadius ?OBJECT
(MeasureFn ?R ?U))
(instance ?INST ?OBJECT)
(attribute ?INST Sphere))
(modalAttribute
(exists (?RADIUS)
(and
(sphereRadius ?INST
(MeasureFn ?RADIUS ?U))
(greaterThan ?RADIUS ?R))) Unlikely)) |
Mid-level-ontology.kif 13704-13715 |
|
(=>
(and
(defaultMeasure ?OBJECT
(MeasureFn ?Q ?UNIT))
(instance ?UNIT CompositeUnitOfMeasure))
(modalAttribute
(exists (?INST ?QUANTITY)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT))
(greaterThan ?QUANTITY
(MultiplicationFn ?Q 1.5)))) Unlikely)) |
Mid-level-ontology.kif 13784-13793 |
|
(=>
(and
(defaultMeasure ?OBJECT
(MeasureFn ?Q ?UNIT))
(instance ?UNIT CompositeUnitOfMeasure))
(modalAttribute
(exists (?INST ?QUANTITY)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT))
(lessThan ?QUANTITY
(MultiplicationFn ?Q .5)))) Unlikely)) |
Mid-level-ontology.kif 13795-13804 |
|
(=>
(and
(defaultMinimumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT))
(instance ?UNIT CompositeUnitOfMeasure))
(modalAttribute
(exists (?INST ?QUANTITY)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT))
(lessThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 13723-13732 |
|
(=>
(and
(defaultMinimumMeasure ?OBJECT
(MeasureFn ?Q ?UNIT1))
(subclass ?UNITCLASS NonCompositeUnitOfMeasure)
(instance ?UNIT1 ?UNITCLASS))
(modalAttribute
(exists (?INST ?QUANTITY ?UNIT2)
(and
(instance ?INST ?OBJECT)
(measure ?INST
(MeasureFn ?QUANTITY ?UNIT2))
(instance ?UNIT2 ?UNITCLASS)
(lessThan ?QUANTITY ?Q))) Unlikely)) |
Mid-level-ontology.kif 13734-13745 |
|
(=>
(and
(defaultMinimumSphereRadius ?OBJECT
(MeasureFn ?R ?U))
(instance ?INST ?OBJECT)
(attribute ?INST Sphere))
(modalAttribute
(exists (?RADIUS)
(and
(sphereRadius ?INST
(MeasureFn ?RADIUS ?U))
(lessThan ?RADIUS ?R))) Unlikely)) |
Mid-level-ontology.kif 13685-13695 |
|
(=>
(and
(instance ?CA COVIDAntibody)
(holdsDuring ?T
(and
(not
(attribute ?H Covid19))
(part ?CA ?H))))
(holdsDuring
(ImmediateFutureFn ?T)
(modalAttribute
(attribute ?H Covid19) Unlikely))) |
Medicine.kif 2784-2796 |
|
(=>
(and
(instance ?F Facility)
(attribute ?F PhysicallyRestrictedRegion))
(modalAttribute
(exists (?E ?R)
(and
(or
(instance ?E Entering)
(instance ?E Exiting))
(path ?E ?R)
(not
(entrance ?R ?F)))) Unlikely)) |
Mid-level-ontology.kif 6885-6897 |
|
(=>
(and
(instance ?F Flooding)
(instance ?L LandArea)
(eventLocated ?F ?L)
(instance ?T TimePoint)
(before ?T
(WhenFn ?F)))
(modalAttribute
(holdsDuring ?T
(instance ?L SubmergedLandArea)) Unlikely)) |
Weather.kif 1581-1591 |
|
(=>
(and
(instance ?I Ingesting)
(experiencer ?I ?H)
(objectTransferred ?I ?MS)
(instance ?MS MoodStabilizer)
(instance ?E ?EC)
(involvedInEvent ?E ?H)
(holdsDuring
(WhenFn ?E)
(attribute ?H ?ES))
(instance ?ES EmotionalState)
(instance ?E2 ?EC)
(involvedInEvent ?E2 ?H)
(earlier
(WhenFn ?E2)
(WhenFn ?I)))
(modalAttribute
(not
(holdsDuring ?E2
(attribute ?H ?ES))) Unlikely)) |
Mid-level-ontology.kif 9992-10013 |
|
(=>
(and
(instance ?LD LiquidDrop)
(surface ?S ?LD))
(modalAttribute
(exists (?SS ?LL)
(and
(instance ?LL Substance)
(attribute ?LL Liquid)
(not
(equal ?LD ?LL))
(surface ?SS ?LL)
(meetsSpatially ?S ?SS))) Unlikely)) |
Geography.kif 7472-7484 |
|
(=>
(approximateValue ?N1 ?N2)
(modalAttribute
(greaterThan 0.9
(DivisionFn ?N1 ?N2)) Unlikely)) |
Mid-level-ontology.kif 30136-30142 |
|
(=>
(approximateValue ?N1 ?N2)
(modalAttribute
(greaterThan 0.9
(DivisionFn ?N2 ?N1)) Unlikely)) |
Mid-level-ontology.kif 30144-30150 |
|
(=>
(checkInTime ?HOTEL ?TIME)
(modalAttribute
(exists (?T ?C)
(and
(instance ?T ?TIME)
(instance ?C CheckInService)
(agent ?C ?HOTEL)
(before
(BeginFn
(WhenFn ?C)) ?T))) Unlikely)) |
Hotel.kif 667-675 |
|
(=>
(defaultMaximumHeight ?OBJECT
(MeasureFn ?H ?U))
(modalAttribute
(exists (?INST ?HEIGHT)
(and
(instance ?INST ?OBJECT)
(height ?INST
(MeasureFn ?HEIGHT ?U))
(greaterThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 13583-13592 |
|
(=>
(defaultMaximumLength ?O
(MeasureFn ?L ?U))
(modalAttribute
(exists (?INST ?LENGTH)
(and
(instance ?INST ?O)
(length ?INST
(MeasureFn ?LENGTH ?U))
(greaterThan ?LENGTH ?U))) Unlikely)) |
Mid-level-ontology.kif 13649-13658 |
|
(=>
(defaultMaximumWidth ?OBJECT
(MeasureFn ?W ?U))
(modalAttribute
(exists (?INST ?WIDTH)
(and
(instance ?INST ?OBJECT)
(width ?INST
(MeasureFn ?WIDTH ?U))
(greaterThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 13616-13625 |
|
(=>
(defaultMinimumHeight ?OBJECT
(MeasureFn ?H ?U))
(modalAttribute
(exists (?INST ?HEIGHT)
(and
(instance ?INST ?OBJECT)
(height ?INST
(MeasureFn ?HEIGHT ?U))
(lessThan ?HEIGHT ?H))) Unlikely)) |
Mid-level-ontology.kif 13567-13575 |
|
(=>
(defaultMinimumLength ?OBJECT
(MeasureFn ?L ?U))
(modalAttribute
(exists (?INST ?LENGTH)
(and
(instance ?INST ?OBJECT)
(length ?INST
(MeasureFn ?LENGTH ?U))
(lessThan ?LENGTH ?L))) Unlikely)) |
Mid-level-ontology.kif 13633-13641 |
|
(=>
(defaultMinimumWidth ?OBJECT
(MeasureFn ?W ?U))
(modalAttribute
(exists (?INST ?WIDTH)
(and
(instance ?INST ?OBJECT)
(width ?INST
(MeasureFn ?WIDTH ?U))
(lessThan ?WIDTH ?W))) Unlikely)) |
Mid-level-ontology.kif 13600-13608 |
|
(=>
(distrusts ?A1 ?A2 ?P)
(believes ?A1
(modalAttribute
(exists (?PI)
(and
(instance ?PI ?P)
(agent ?PI ?A2))) Unlikely))) |
Law.kif 422-430 |
|