holdsDuring
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18203-18209
If
embryonic
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
birth
and
another time interval
is
equal
to the
time
of existence of
the process
and
the agent
experience
s
the process
,
then
the other time interval
doesn't
overlap
the time interval
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18181-18187
If
larval
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
birth
and
another time interval
is
equal
to the
time
of existence of
the process
and
the agent
experience
s
the process
,
then
the other time interval
meet
s
the time interval
(=>
(
and
(
holdsDuring
?TIME
(
capitalExpendituresOfArea
?AREA ?CAPAMOUNT))
(
holdsDuring
?TIME
(
annualExpendituresOfArea
?AREA ?TOTALAMOUNT)))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1558-1562
If
a real number
is a
capital
expenditures of area of
an entity
holds
during
a time position
and
another real number
is an
annual
expenditures of area of
the entity
holds
during
the time position
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
holdsDuring
?TIME ?SITUATION1)
(
entails
?SITUATION1 ?SITUATION2))
(
holdsDuring
?TIME ?SITUATION2))
Merge.kif 3889-3893
If
a formula
holds
during
a time position
and
the formula
entail
s
another formula
,
then
the other formula
holds
during
the time position
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14337-14344
If the
developmental
form
of
an entity
is
an attribute
holds
during
a time interval
and
another attribute
is a
successor
attribute
of
the attribute
,
then there exists
another time interval
such that
the other time interval
happens
earlier
than
the time interval
and the
developmental
form
of
the entity
is
the other attribute
holds
during
the other time interval
(=>
(
and
(
holdsDuring
?TIME1 ?SITUATION)
(
temporalPart
?TIME2 ?TIME1))
(
holdsDuring
?TIME2 ?SITUATION))
Merge.kif 7954-7958
If
a formula
holds
during
a time position
and
another time position
is a
part
of
the time position
,
then
the formula
holds
during
the other time position
(=>
(
and
(
holdsDuring
?Time
(
instance
?Card
ExpiredCard
))
(
cardAccount
?Card ?Account))
(
holdsDuring
?Time
(
not
(
attribute
?Card
ActiveAgreement
))))
FinancialOntology.kif 3529-3534
If
a bank card
is an
instance
of
expired card
holds
during
a time position
and
a financial account
is a
card
account of
the bank card
,
then
active agreement
is not an
attribute
of
the bank card
holds
during
the time position
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2123-2130
If
a physical quantity
is an
annual
electricity consumption of
a geopolitical area
holds
during
a time position
and
the time position
is an
instance
of
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then
the geopolitical area
is
electricity
consumption in period
the physical quantity
for
the kind of time interval
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2167-2174
If
a physical quantity
is an
annual
electricity export of
a geopolitical area
holds
during
a time position
and
the time position
is an
instance
of
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then
the geopolitical area
is
electricity
export in period
the physical quantity
for
the kind of time interval
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2213-2220
If
a physical quantity
is an
annual
electricity import of
a geopolitical area
holds
during
a time position
and
the time position
is an
instance
of
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then
the geopolitical area
is
electricity
import in period
the physical quantity
for
the kind of time interval
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 1991-1998
If
a physical quantity
is an
annual
electricity production of
a geopolitical area
holds
during
a time position
and
the time position
is an
instance
of
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then
the geopolitical area
is
electricity
production in period
the physical quantity
for
the kind of time interval
(=>
(
and
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2288-2295
If
a currency measure
is an
annual
export total of
a geopolitical area
holds
during
a time position
and
the time position
is an
instance
of
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then
the geopolitical area
export
total in period
the currency measure
for
the kind of time interval
(=>
(
and
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2594-2601
If
a currency measure
is an
annual
import total of
a geopolitical area
holds
during
a time position
and
the time position
is an
instance
of
a kind of time interval
and
a kind of time interval
is a
subclass
of
year
or
the kind of time interval
is a
subclass
of the
fiscal
year of
the geopolitical area
,
then
the geopolitical area
import
total in period
the currency measure
for
the kind of time interval
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
If
an object
is an
instance
of
antacid
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
another object
is an
instance
of
stomach
and
the other object
is a
part
of
the agent
and
the other object
contain
s
a third object
and
the third object
is an
instance
of
fluid
holds
during
immediately
before
the
time
of existence of
the motion
and
the other object
contain
s
a fourth object
and
the fourth object
is an
instance
of
fluid
holds
during
immediately
after
the
time
of existence of
the motion
and
pH measure
the third object
and
a real number
and
pH measure
the fourth object
and
another real number
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12383-12397
If
a process
is an
instance
of
attaching
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
and
the entity
is not
connected
to
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is
connected
to
the other entity
holds
during
the
end
of the
time
of existence of
the process
,
then
the process
attaches
the entity
to another object and
the process
attaches
the other entity
to another object
(=>
(
and
(
instance
?A
AutonomousAgent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30242-30253
If
an agent
is an
instance
of
agent
and
motionless
is an
attribute
of
the agent
holds
during
a time interval
,
then there doesn't exist
a process
such that
the process
is an
instance
of
body motion
and
the process
is an
instance
of
intentional process
and
the agent
is an
agent
of
the process
and the
time
of existence of
the process
takes place
during
the time interval
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
If
an object
is an
instance
of
PPI
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
another object
is an
instance
of
stomach
and
the other object
is a
part
of
the agent
and
the other object
contain
s
a third object
and
the third object
is an
instance
of
fluid
holds
during
immediately
before
the
time
of existence of
the motion
and
the other object
contain
s
a fourth object
and
the fourth object
is an
instance
of
fluid
holds
during
immediately
after
the
time
of existence of
the motion
and
pH measure
the third object
and
a real number
and
pH measure
the fourth object
and
another real number
,
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
ComputerInput.kif 2332-2343
If
a time interval
is an
instance
of
bringing GE to front
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
interface window
and
the entity
has
state
an attribute
holds
during
the
beginning
of
the time interval
and
the attribute
is the
opposite
of
GUE uncovered state
,
then not
the entity
has
state
the attribute
holds
during
the
end
of
the time interval
(=>
(
and
(
instance
?AGENT
Human
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
telephoneNumber
?NUMBER ?AGENT)
(
located
?DEVICE ?PLACE)
(
instance
?PLACE
Residence
))))
(
holdsDuring
?TIME
(
inhabits
?AGENT ?PLACE)))
Mid-level-ontology.kif 25035-25044
If
an entity
is an
instance
of
human
and
another entity
has
number
a third entity
and
the third entity
is the
telephone
number
of
the entity
and
the other entity
is
located
at
a fourth entity
and
the fourth entity
is an
instance
of
residence
holds
during
a time position
,
then
the entity
live
s in
the fourth entity
holds
during
the time position
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
If
a process
is an
instance
of
armed reconnaissance
and
a cognitive agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the cognitive agent
and
the entity
are enemies of each other holds
during
the
time
of existence of
the process
,
then
the process
allow
s
the cognitive agent
to perform task of the type there exists
another entity
such that
the other entity
is an
instance
of
attack
and
the cognitive agent
is an
agent
of
the other entity
and
the entity
is a
patient
of
the other entity
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
If
a process
is an
instance
of
anti surface operation
and
an entity
is a
patient
of
the process
and
the entity
is
located
at
another entity
holds
during
the
time
of existence of
the process
,
then
the other entity
is an
instance
of
water area
(=>
(
and
(
instance
?ATTR
ColorAttribute
)
(
holdsDuring
?T1
(
attribute
?OBJ ?ATTR)))
(
holdsDuring
?T1
(
color
?OBJ ?ATTR)))
Mid-level-ontology.kif 19362-19368
If
an entity
is an
instance
of
color attribute
and
the entity
is an
attribute
of
another entity
holds
during
a time position
,
then
the other entity
is the
color
the entity
holds
during
the time position
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13831-13839
If
a process
is an
instance
of
boiling
and
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
an entity
is an
instance
of
a kind of pure substance
and
the entity
is a
patient
of
the process
and the
measure
of
the entity
is
another real number
the unit of measure
(s) holds
during
the
time
of existence of
the process
and
the unit of measure
is an
instance
of
unit of temperature
,
then
the other real number
is
greater
than or equal to
the real number
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4081-4113
If
an object
is an
instance
of
bi-metal temperature sensor
and
another object
is an
instance
of
metal
and
a third object
is an
instance
of
metal
and
the other object
is not
equal
to
the third object
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
an entity
is an
instance
of
temperature measure
and
another entity
is an
instance
of
temperature measure
and
a real number
is an
instance
of
length measure
and
another real number
is an
instance
of
length measure
and
a third real number
is an
instance
of
length measure
and
a fourth real number
is an
instance
of
length measure
and
the entity
is not
equal
to
the other entity
and
a time position
is not
equal
to
another time position
and the
measure
of
the object
is
the entity
and the
measure
of
the other object
is
the real number
and the
measure
of
the third object
is
the other real number
holds
during
the time position
and the
measure
of
the object
is
the other entity
and the
measure
of
the other object
is
the third real number
and the
measure
of
the third object
is
the fourth real number
holds
during
the other time position
,
then
the real number
and
the other real number
is not
equal
to
the third real number
and
the fourth real number
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceClosed
)))
(
holdsDuring
?T
(
attribute
?C
RingTorus
)))
Mid-level-ontology.kif 30807-30813
If
an entity
is an
instance
of
karabiner
and
device closed
is an
attribute
of
the entity
holds
during
a time position
,
then
ring torus
is an
attribute
of
the entity
holds
during
the time position
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