TimeInterval
(time interval)
(
domain
meetsTemporally
1
TimeInterval
)
Merge.kif 8326-8326
The number 1 argument of
meets temporally
is an
instance
of
time interval
(
domain
meetsTemporally
2
TimeInterval
)
Merge.kif 8327-8327
The number 2 argument of
meets temporally
is an
instance
of
time interval
(
domain
militaryExpendituresFractionOfGDPInPeriod
3
TimeInterval
)
Military.kif 992-992
The number 3 argument of
military expenditures fraction of GDP in period
is an
instance
of
time interval
(
domain
militaryExpendituresInUSDollarsInPeriod
3
TimeInterval
)
Military.kif 953-953
The number 3 argument of
military expenditures in US dollars in period
is an
instance
of
time interval
(
domain
musicChartPeriod
2
TimeInterval
)
Music.kif 1180-1180
The number 2 argument of
music chart period
is an
instance
of
time interval
(
domain
newRegisteredUsers
1
TimeInterval
)
UXExperimentalTerms.kif 3611-3611
The number 1 argument of
new registered users
is an
instance
of
time interval
(
domain
offersAtTime
3
TimeInterval
)
Catalog.kif 128-128
The number 3 argument of
offers at time
is an
instance
of
time interval
(
domain
overcastDaysInPeriod
2
TimeInterval
)
Weather.kif 953-953
The number 2 argument of
overcast days in period
is an
instance
of
time interval
(
domain
overlapsTemporally
1
TimeInterval
)
Merge.kif 8227-8227
The number 1 argument of
overlap temporally
is an
instance
of
time interval
(
domain
overlapsTemporally
2
TimeInterval
)
Merge.kif 8228-8228
The number 2 argument of
overlap temporally
is an
instance
of
time interval
(
domain
paymentsPerPeriod
3
TimeInterval
)
FinancialOntology.kif 3857-3857
The number 3 argument of
payments per period
is an
instance
of
time interval
(
domain
perCapitaGDPInPeriod
3
TimeInterval
)
Economy.kif 1023-1023
The number 3 argument of
per capitaGDP in period
is an
instance
of
time interval
(
domain
purchasesPerPeriod
3
TimeInterval
)
FinancialOntology.kif 3865-3865
The number 3 argument of
purchases per period
is an
instance
of
time interval
(
domain
rainfallIntensity
2
TimeInterval
)
Weather.kif 2826-2826
The number 2 argument of
rainfall intensity
is an
instance
of
time interval
(
domain
rents
4
TimeInterval
)
Mid-level-ontology.kif 29999-29999
The number 4 argument of
rents
is an
instance
of
time interval
(
domain
shortage
4
TimeInterval
)
Mid-level-ontology.kif 30887-30887
The number 4 argument of
shortage
is an
instance
of
time interval
(
domain
simpleInterest
3
TimeInterval
)
FinancialOntology.kif 533-533
The number 3 argument of
simple interest
is an
instance
of
time interval
(
domain
snowfallIntensity
2
TimeInterval
)
Weather.kif 3031-3031
The number 2 argument of
snowfall intensity
is an
instance
of
time interval
(
domain
starts
1
TimeInterval
)
Merge.kif 8037-8037
The number 1 argument of
starts
is an
instance
of
time interval
(
domain
starts
2
TimeInterval
)
Merge.kif 8038-8038
The number 2 argument of
starts
is an
instance
of
time interval
(
domain
statementPeriod
2
TimeInterval
)
FinancialOntology.kif 4060-4060
The number 2 argument of
statement period
is an
instance
of
time interval
(
domain
validityPeriod
2
TimeInterval
)
Catalog.kif 240-240
The number 2 argument of
validity period
is an
instance
of
time interval
(
domainSubclass
RecurrentTimeIntervalFn
1
TimeInterval
)
Merge.kif 8444-8444
The number 1 argument of
recurrent time interval
is a
subclass
of
time interval
(
domainSubclass
RecurrentTimeIntervalFn
2
TimeInterval
)
Merge.kif 8445-8445
The number 2 argument of
recurrent time interval
is a
subclass
of
time interval
(
domainSubclass
TemporalCompositionFn
2
TimeInterval
)
Merge.kif 9374-9374
The number 2 argument of
temporal composition
is a
subclass
of
time interval
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