MeasureFn
(=>
(
and
(
instance
?H
Human
)
(
attribute
?H
Fever
))
(
exists
(?N)
(
and
(
measure
?H
(
MeasureFn
?N
FahrenheitDegree
))
(
greaterThan
?N 98.6))))
Mid-level-ontology.kif 7098-7106
If
an object
is an
instance
of
human
and
a fever
is an
attribute
of
the object
,
then there exists
a real number
such that the
measure
of
the object
is
the real number
fahrenheit degree
(s) and
the real number
is
greater
than 98.6
(=>
(
and
(
instance
?H
HumanAdult
)
(
measure
?H
(
MeasureFn
?N
Pounds
)))
(
and
(
bloodVolume
?H
(
MeasureFn
?N2
Liter
))
(
equal
?N2
(
DivisionFn
(
MultiplicationFn
?N 0.07) 2.33))))
Medicine.kif 5931-5940
If
a human
is an
instance
of
human adult
and the
measure
of
the human
is
a real number
Pounds
(s),
then
the human
has
the real number
2
liter
(s) of blood and
equal
the real number
2 and
the real number
and 0.07 and 2.33
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWS5
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS)))
(
exists
(?WIND)
(
and
(
greaterThan
?WIND 157.0)
(
believes
?A
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 3272-3286
If
a process
is an
instance
of
hurricane
and
an entity
is an
instance
of
SSHWS5
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the entity
,
then there exists
a real number
such that
the real number
is
greater
than 157.0 and
the cognitive agent
believe
s
equal
the real number
miles per hour
(s) and
Mean1MinuteWindSpeedFn
for the
time
of existence of
the process
in region
the object
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 3194-3213
If
a process
is an
instance
of
hurricane
and
a speed scale attribute
is an
instance
of
Saffir Simpson Hurrican wind scale
and
the process
is
located
at
an object
and
a cognitive agent
believe
s
the process
the
attribute
the speed scale attribute
and
a real number
an unit of measure
(s) and
another real number
the unit of measure
(s) are the min and max speed of
the speed scale attribute
and
the unit of measure
is an
instance
of
unit of measure
,
then there exists
a third real number
such that
the third real number
is
greater
than or equal to
the real number
and
the third real number
is
less
than or equal to
the other real number
and
the cognitive agent
believe
s
equal
the third real number
the unit of measure
(s) and
Mean1MinuteWindSpeedFn
for the
time
of existence of
the process
in region
the object
(=>
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
greaterThan
?QUANT2 ?QUANT1))))
Merge.kif 11058-11071
If
a process
is an
instance
of
heating
and
an entity
is a
patient
of
the process
,
then there exist
another entity
,
a real number
and
another real number
such that
the other entity
is an
instance
of
temperature measure
and
equal
the entity
the other entity
(s) and
the real number
holds
during
the
beginning
of the
time
of existence of
the process
and
equal
the entity
the other entity
(s) and
the other real number
holds
during
the
end
of the
time
of existence of
the process
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?L
Lengthening
)
(
patient
?L ?O))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
length
?O
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 25451-25466
If
a process
is an
instance
of
lengthening
and
an entity
is a
patient
of
the process
,
then there exist
the process
1,
the process
2 and
another entity
such that
the other entity
is an
instance
of
unit of length
and the
length
of
the entity
is
the process
1
the other entity
(s) holds
during
the
beginning
of the
time
of existence of
the process
and the
length
of
the entity
is
the process
2
the other entity
(s) holds
during
the
end
of the
time
of existence of
the process
and
the process
2 is
greater
than
the process
1
(=>
(
and
(
instance
?LOW
LowTide
)
(
instance
?HIGH
HighTide
)
(
eventLocated
?LOW ?PLACE)
(
eventLocated
?HIGH ?PLACE)
(
instance
?DAY
Day
)
(
overlapsTemporally
?LOW ?DAY)
(
overlapsTemporally
?HIGH ?DAY))
(
exists
(?AMOUNT1 ?AMOUNT2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
?LOW
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT1 ?U)))
(
holdsDuring
?HIGH
(
waterDepth
?PLACE
(
MeasureFn
?AMOUNT2 ?U)))
(
greaterThan
?AMOUNT2 ?AMOUNT1))))
Geography.kif 5350-5368
If
a time interval
is an
instance
of
low tide
and
another time interval
is an
instance
of
high tide
and
the time interval
is
located
at
an object
and
the other time interval
is
located
at
the object
and
a third time interval
is an
instance
of
day
and
the third time interval
overlap
s
the time interval
and
the third time interval
overlap
s
the other time interval
,
then there exist
a real number
,
another real number
and
an entity
such that
the entity
is an
instance
of
unit of length
and
the real number
the entity
(s) is a
water
depth of
the object
holds
during
the time interval
and
the other real number
the entity
(s) is a
water
depth of
the object
holds
during
the other time interval
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?M
OnePercentMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
equal
?N2
(
MultiplicationFn
0.01 ?N)))))
Food.kif 2976-2993
If
an object
is an
instance
of
one percent milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
2 such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
equal
the other object
and
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
2
the unit of measure
(s) and
equal
the real number
2 and 0.01 and
the real number
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 3000-3018
If
an object
is an
instance
of
semi skimmed milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
2 such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
equal
the other object
and
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
2
the unit of measure
(s) and
the real number
2 is
greater
than or equal to 0.015 and
the real number
and
the real number
2 is
less
than or equal to 0.02 and
the real number
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3025-3043
If
an object
is an
instance
of
skimmed milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
2 such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
equal
the other object
and
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
2
the unit of measure
(s) and
the real number
2 is
greater
than or equal to 0.0 and
the real number
and
the real number
2 is
less
than or equal to 0.005 and
the real number
(=>
(
and
(
instance
?M
TwoPercentMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
equal
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2952-2969
If
an object
is an
instance
of
two percent milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
2 such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
equal
the other object
and
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
2
the unit of measure
(s) and
equal
the real number
2 and 0.02 and
the real number
(=>
(
and
(
instance
?M
WholeMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0325 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.05 ?N)))))
Food.kif 2858-2876
If
an object
is an
instance
of
whole milk
and the
measure
of
the object
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of volume
,
then there exist
another object
and
the real number
2 such that
the other object
is an
instance
of
butter fat
and
the other object
is a
part
of
the object
and there doesn't exist
a third object
such that
the third object
is an
instance
of
butter fat
and
equal
the other object
and
the third object
and
the third object
is a
part
of
the object
and the
measure
of
the other object
is
the real number
2
the unit of measure
(s) and
the real number
2 is
greater
than or equal to 0.0325 and
the real number
and
the real number
2 is
less
than or equal to 0.05 and
the real number
(=>
(
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 33729-33749
If
a motion
is an
instance
of
moving away from
and
an object
is an
instance
of
object
and
an entity
is an
instance
of
object
and
the object
is a
patient
of
the motion
and
the entity
is a
patient
of
the motion
,
then there exist
the entity
,
a real number
,, ,
another real number
and
another entity
such that
the real number
is an
instance
of
real number
and
the other real number
is an
instance
of
real number
and
the object
moves during
the motion
and the
distance
between
the object
and
the entity
is
the real number
the other entity
(s) holds
during
the
beginning
of the
time
of existence of
the motion
and the
distance
between
the object
and
the entity
is
the other real number
the other entity
(s) holds
during
the
end
of the
time
of existence of
the motion
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?MEAS
Measuring
)
(
agent
?MEAS ?AGENT)
(
patient
?MEAS ?OBJ))
(
exists
(?QUANT ?UNIT)
(
holdsDuring
(
EndFn
(
WhenFn
?MEAS))
(
knows
?AGENT
(
measure
?OBJ
(
MeasureFn
?QUANT ?UNIT))))))
Merge.kif 12272-12279
If
a process
is an
instance
of
measuring
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then there exist
another entity
and
a third entity
such that
the agent
know
s the
measure
of
the entity
is
the other entity
the third entity
(s) holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
instance
?Y
LeapYear
))
(
duration
?MONTH
(
MeasureFn
29
DayDuration
)))
Merge.kif 9186-9191
If
a time interval
is an
instance
of the
month
February
and
an entity
is an
instance
of
the entity
EAR and
the entity
is an
instance
of
leap year
,
then
duration
of
the time interval
is 29
day duration
(s)
(=>
(
and
(
instance
?MONTH
(
MonthFn
February
?YEAR))
(
instance
?Y ?YEAR)
(
not
(
instance
?Y
LeapYear
)))
(
duration
?MONTH
(
MeasureFn
28
DayDuration
)))
Merge.kif 9179-9184
If
a time interval
is an
instance
of the
month
February
and
an entity
is an
instance
of
the entity
EAR and
the entity
is not an
instance
of
leap year
,
then
duration
of
the time interval
is 28
day duration
(s)
(=>
(
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 33756-33776
If
a motion
is an
instance
of
moving towards
and
an object
is an
instance
of
object
and
an entity
is an
instance
of
object
and
the entity
is a
patient
of
the motion
and
the object
is a
patient
of
the motion
,
then there exist
the entity
,
a real number
and
another real number
such that
the real number
is an
instance
of
real number
and
the other real number
is an
instance
of
real number
and
the object
moves during
the motion
and the
distance
between
the object
and
the entity
is
the real number
another entity
(s) holds
during
the
beginning
of the
time
of existence of
the motion
and the
distance
between
the object
and
the entity
is
the other real number
the other entity
(s) holds
during
the
end
of the
time
of existence of
the motion
and
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?MT
MusicalTone
)
(
soundFrequency
?MT
(
MeasureFn
?FREQ
Hertz
))
(
loudness
?MT
(
MeasureFn
?LLB
Decibel
))
(
located
?MT
(
WhereFn
?H
(
BeginFn
(
WhenFn
?MT))))
(
greaterThan
?LLIMIT ?LLB)
(
greaterThan
?LLB ?ULIMIT)
(
greaterThan
?FREQ 250)
(
greaterThan
8000 ?FREQ)
(
instance
?H
Human
)
(
instance
?L
Listening
)
(
agent
?L ?H))
(
hearingAcuity
?H
(
MeasureFn
?LLIMIT
Decibel
)
(
MeasureFn
?ULIMIT
Decibel
)))
Medicine.kif 1746-1766
If
a musical tone
is an
instance
of
musical tone
and the
frequency
of
the musical tone
is
a real number
hertz
(s) and the
sound
of
the musical tone
is
another real number
dB(A)
(s) and
the musical tone
is
located
at the place
where
a human
was at the
beginning
of the
time
of existence of
the musical tone
and
a third real number
is
greater
than
the other real number
and
the other real number
is
greater
than
a fourth real number
and
the real number
is
greater
than 250 and 8000 is
greater
than
the real number
and
the human
is an
instance
of
human
and
a process
is an
instance
of
listening
and
the human
is an
agent
of
the process
,
then
the human
can hear frequency of
the third real number
dB(A)
(s) at
the fourth real number
dB(A)
(s) decibels
(=>
(
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
If
a process
is an
instance
of
moving away from people
and
an agent
is an
agent
of
the process
,
then there exist
an entity
,
another entity
,, ,
a real number
and
another real number
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
unit of length
and the
distance
between
the process
and
the agent
is
the real number
the other entity
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
distance
between
the process
and
the agent
is
the other real number
the other entity
(s) holds
during
immediately
after
the
time
of existence of
the process
and
the other real number
is
greater
than
the real number
(=>
(
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
If
a process
is an
instance
of
moving towards people
and
an agent
is an
agent
of
the process
,
then there exist
an entity
,
another entity
,, ,
a real number
and
another real number
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
unit of length
and the
distance
between
the process
and
the agent
is
the real number
the other entity
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
distance
between
the process
and
the agent
is
the other real number
the other entity
(s) holds
during
immediately
after
the
time
of existence of
the process
and
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?O
Odometer
)
(
instance
?V
Vehicle
)
(
part
?O ?V)
(
instance
?T
Translocation
)
(
instrument
?T ?V)
(
path
?T ?P)
(
distanceOnPath
(
MeasureFn
?D ?U) ?P)
(
instance
?U
LengthMeasure
))
(
hasPurpose
?O
(
exists
(?M ?L ?DIST ?U)
(
and
(
instance
?M
Measuring
)
(
instrument
?M ?O)
(
measurementReading
?O ?DIST)
(
inList
?D ?L)
(
holdsDuring
(
WhenFn
(
EndFn
?M))
(
and
(
equal
?DIST
(
MeasureFn
(
ListSumFn
?L) ?U))
(
not
(
attribute
?O
ResetMeasuringDevice
))))))))
Cars.kif 2970-2996
If
an object
is an
instance
of
odometer
and
another object
is an
instance
of
vehicle
and
the object
is a
part
of
the other object
and
a motion
is an
instance
of
translocation
and
the other object
is an
instrument
for
the motion
and
a transitway
is
path
along which
the motion
occurs and the
distance
of
the transitway
is
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
length measure
,
then
the object
has the purpose there exist
an entity
,
another entity
,, ,
the real number
IST and
the unit of measure
such that
the entity
is an
instance
of
measuring
and
the object
is an
instrument
for
the entity
and
the real number
IST is a
measurement
reading of
the object
and
the real number
is a
member
of
the other entity
and
equal
the real number
IST and the
sum
of
the other entity
the unit of measure
(s) and
reset measuring device
is not an
attribute
of
the object
holds
during
the
time
of existence of the
end
of
the entity
(=>
(
and
(
instance
?ORGANISM
Human
)
(
attribute
?ORGANISM
Fever
))
(
exists
(?NUMBER)
(
and
(
measure
?ORGANISM
(
MeasureFn
?NUMBER
FahrenheitDegree
))
(
greaterThan
?NUMBER 98.6))))
WMD.kif 1110-1117
If
an object
is an
instance
of
human
and
a fever
is an
attribute
of
the object
,
then there exists
a real number
such that the
measure
of
the object
is
the real number
fahrenheit degree
(s) and
the real number
is
greater
than 98.6
(=>
(
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
If
a time interval
is an
instance
of
pulling
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
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
If
a time interval
is an
instance
of
pushing
and
the time interval
originate
s at
an object
and
an agent
is an
agent
of
the time interval
and
the agent
is
located
at
the agent
LOC holds
during
the
beginning
of
the time interval
and
the time interval
end
s up at
another entity
,
then there exist
a third entity
,
a fourth entity
and
a fifth entity
such that the
distance
between
the agent
LOC and
the other entity
is
the fifth entity
the fourth entity
(s) and the
distance
between
the agent
LOC and
the object
is
the third entity
the fourth entity
(s) and
the third entity
is
greater
than
the fifth entity
holds
during
immediately
after
the
beginning
of
the time interval
(=>
(
and
(
instance
?PLACE
GeographicArea
)
(
located
?PLACE ?T)
(
instance
?T
Tropics
))
(
exists
(?NUM1 ?LONG ?DIR ?NUM2 ?U)
(
and
(
objectGeographicCoordinates
?PLACE
(
MeasureFn
?NUM1 ?U) ?LONG)
(
instance
?U
UnitOfAngularMeasure
)
(
lessThan
?NUM1 ?NUM2)
(
equal
(
MeasureFn
?NUM2 ?U)
(
LatitudeFn
?DIR
(
MeasureFn
23.0
AngularDegree
)
(
MeasureFn
26.0
ArcMinute
)
(
MeasureFn
11.5
ArcSecond
)))
(
instance
?DIR
DirectionalAttribute
)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
)))))
Geography.kif 3891-3911
If
an object
is an
instance
of
geographic area
and
the object
is
located
at
another object
and
the other object
is an
instance
of
tropics
,
then there exist
a real number
,
a longitude
,, ,
a directional attribute
,, ,
another real number
and
an unit of measure
such that
the object
is
object
geographic coordinates
the real number
the unit of measure
(s) for
the longitude
and
the unit of measure
is an
instance
of
unit of angular measure
and
the real number
is
less
than
the other real number
and
equal
the other real number
the unit of measure
(s) and the
region
the directional attribute
of 23.0
angular degree
(s) and
the directional attribute
is an
instance
of
directional attribute
and
equal
the directional attribute
and
north
or
equal
the directional attribute
and
south
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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
