holdsDuring
(=>
(
and
(
holdsDuring
?T1
(
member
?OBJ ?GROUP))
(
instance
?OBJ
Human
)
(
instance
?GROUP
GroupOfPeople
))
(
holdsDuring
?T1
(
groupMember
?OBJ ?GROUP)))
Mid-level-ontology.kif 7272-7279
If
an entity
is a
member
of
another entity
holds
during
a time position
and
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
group of people
,
then
the entity
is a
member
of
the other entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Book
))
(
holdsDuring
?T1
(
attribute
?AGENT
BookPublishers
)))
Media.kif 1902-1906
If
an entity
publishe
s
a set or class
holds
during
a time position
and
the set or class
is a
subclass
of
book
,
then
book publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
MusicalComposition
))
(
holdsDuring
?T1
(
attribute
?AGENT
MusicPublishers
)))
Media.kif 1890-1894
If
an entity
publishe
s
a set or class
holds
during
a time position
and
the set or class
is a
subclass
of
musical composition
,
then
music publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Newspaper
))
(
holdsDuring
?T1
(
attribute
?AGENT
NewspaperPublishers
)))
Media.kif 1914-1918
If
an entity
publishe
s
a set or class
holds
during
a time position
and
the set or class
is a
subclass
of
newspaper
,
then
newspaper publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Periodical
))
(
holdsDuring
?T1
(
attribute
?AGENT
PeriodicalPublishers
)))
Media.kif 1908-1912
If
an entity
publishe
s
a set or class
holds
during
a time position
and
the set or class
is a
subclass
of
periodical
,
then
periodical publishers
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
publishes
?AGENT ?COMPCLASS))
(
subclass
?COMPCLASS
Text
))
(
holdsDuring
?T1
(
attribute
?AGENT
InformationIndustries
)))
Media.kif 1896-1900
If
an entity
publishe
s
a set or class
holds
during
a time position
and
the set or class
is a
subclass
of
text
,
then
information industry
is an
attribute
of
the entity
holds
during
the time position
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7658-7668
If
an entity
is the
spouse
of
another entity
holds
during
a time interval
and
the time interval
is an
instance
of
time interval
,
then there exists
a process
such that
the process
is an
instance
of
wedding
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the process
and the
time
of existence of
the process
happens
earlier
than
the time interval
(=>
(
and
(
holdsDuring
?T2 ?SIT2)
(
holdsDuring
?T1 ?SIT1)
(
instance
?T1
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
causesProposition
?SIT1 ?SIT2))
(
beforeOrEqual
(
BeginFn
?T1)
(
BeginFn
?T2)))
Merge.kif 3664-3671
If
a formula
holds
during
a time interval
and
another formula
holds
during
another time interval
and
the other time interval
is an
instance
of
time interval
and
the time interval
is an
instance
of
time interval
and
the formula
is a
causes
proposition of
the other formula
,
then the
beginning
of
the other time interval
happen
%{s} before or at the
beginning
of
the time interval
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 16864-16870
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 16835-16841
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 1562-1566
If
a quantity
is a
capital
expenditures of area of
an entity
holds
during
a time position
and
another quantity
is an
annual
expenditures of area of
the entity
holds
during
the time position
,
then
the other quantity
is
greater
than
the quantity
(=>
(
and
(
holdsDuring
?TIME ?SITUATION1)
(
entails
?SITUATION1 ?SITUATION2))
(
holdsDuring
?TIME ?SITUATION2))
Merge.kif 3717-3721
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 13275-13282
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 7513-7517
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 3427-3432
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 2127-2134
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 2171-2178
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 2217-2224
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 1995-2002
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 2292-2299
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 2597-2604
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
Agent
)
(
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 28399-28410
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
?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 2347-2358
If
a time interval
is an
instance
of
BringingGEToFront
and
an entity
is a
patient
of
the time interval
and
the entity
is an
instance
of
InterfaceWindow
and
the entity
has
state
an attribute
holds
during
the
beginning
of
the time interval
and
the attribute
is the
opposite
of
GUE_UncoveredState
,
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 22979-22988
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
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
