holdsDuring
(<=>
(
importPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
importPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2742-2747
GeopoliticalArea
對
PositiveRealNumber
和
TimeInterval
在週期
GeopoliticalArea
由一部分
import
夥伴
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
GeopoliticalArea
對於
PositiveRealNumber
由一部分
GeopoliticalArea
import
夥伴
(<=>
(
importPartnerByRankInPeriod
?AREA1 ?AREA2 ?NTH ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
importPartnerByRank
?AREA1 ?AREA2 ?NTH)))))
Economy.kif 2704-2709
GeopoliticalArea
對於
PositiveInteger
和
TimeInterval
在週期
GeopoliticalArea
由階級
import
夥伴
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
GeopoliticalArea
對於
PositiveInteger
由階級
GeopoliticalArea
import
夥伴
(<=>
(
importPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
importPartner
?AGENT1 ?AGENT2)))))
Economy.kif 2674-2679
AutonomousAgent
對於
TimeInterval
在 週期
AutonomousAgent
import
夥伴
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
AutonomousAgent
是
AutonomousAgent
的
import
夥伴
(<=>
(
incomeDistributionByGiniIndexInPeriod
?AREA ?INDEX ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
incomeDistributionByGiniIndex
?AREA ?INDEX)))))
Economy.kif 1318-1323
GeopoliticalArea
對於
TimeInterval
在週期
NonnegativeRealNumber
基於基尼指數
income
分配
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
NonnegativeRealNumber
是
GeopoliticalArea
基於基尼指數的
income
分配
(<=>
(
industrialProductionGrowthRateInPeriod
?AREA ?RATE ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
industrialProductionGrowthRate
?AREA ?RATE)))))
Economy.kif 1949-1954
GeopoliticalArea
是 對於
TimeInterval
在週期
RealNumber
的
industrial
生產成率
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
RealNumber
是
GeopoliticalArea
的 %industrial 生產速率
(<=>
(
laborForceFractionByOccupationInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
laborForceFractionByOccupation
?AREA ?SECTOR ?FRACTION)))))
Economy.kif 1419-1424
按職業期間劃分的勞動力比例
GeopoliticalArea
,
Attribute
,
RealNumber
and
TimeInterval
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
(<=>
(
laborForceTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
laborForceTotal
?AREA ?AMOUNT)))))
Economy.kif 1373-1378
GeopoliticalArea
是 對於
TimeInterval
在週期
NonnegativeRealNumber
的
labor
總力量
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
NonnegativeRealNumber
是
GeopoliticalArea
的
labor
總力量
(<=>
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
Mid-level-ontology.kif 23308-23310
Object
對於
Object
在時間
TimePosition
located
持有期間
TimePosition
and
位於
Object
and
Object
(<=>
(
lowestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
lowestDecileShareOfHouseholdIncome
?AREA ?FRACTION)))))
Economy.kif 1233-1238
GeopoliticalArea
對於
TimeInterval
在週期
RealNumber
的
lowest
平分家庭收入
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
RealNumber
是
GeopoliticalArea
lowest
平分家庭收入
(<=>
(
memberAtTime
?OBJ ?COLLECTION ?TIME)
(
holdsDuring
?TIME
(
member
?OBJ ?COLLECTION)))
Mid-level-ontology.kif 22703-22705
時間上的會員
SelfConnectedObject
,
Collection
and
TimePosition
持有期間
TimePosition
and
會員
SelfConnectedObject
and
Collection
(<=>
(
militaryExpendituresFractionOfGDPInPeriod
?AREA ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
militaryExpendituresFractionOfGDP
?AREA ?FRACTION)))))
Military.kif 1019-1024
GeopoliticalArea
是 對於
TimeInterval
在週期
RealNumber
的
military
部分GDP支出
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
RealNumber
是
GeopoliticalArea
的
military
部分GDP支出
(<=>
(
militaryExpendituresInUSDollarsInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
militaryExpendituresInUSDollars
?AREA ?AMOUNT)))))
Military.kif 980-985
GeopoliticalArea
是 對於
TimeInterval
在周期
CurrencyMeasure
的
military
美元花費
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
military
美元花費
(<=>
(
perCapitaGDPInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
perCapitaGDP
?AREA ?AMOUNT)))))
Economy.kif 1042-1047
GeopoliticalArea
是 對於
TimeInterval
在週期
CurrencyMeasure
的
per
人頭 GDP
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
per
人頭 GDP
(<=>
(
populationFractionBelowPovertyLineInPeriod
?AREA ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
populationFractionBelowPovertyLine
?AREA ?FRACTION)))))
Economy.kif 1184-1189
GeopoliticalArea
對於
TimeInterval
在週期
RealNumber
在貧困標準下的
population
部分
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
RealNumber
是
GeopoliticalArea
在貧困標準下的
population
部分
(<=>
(
realGrowthRateOfGDPInPeriod
?AREA ?RATE ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
realGrowthRateOfGDP
?AREA ?RATE)))))
Economy.kif 1007-1012
GeopoliticalArea
是 對於 %3 在週期 %2 的
real
GDP 的成長速率
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
RealNumber
是
GeopoliticalArea
的
real
GDP 成長速率
(<=>
(
sectorCompositionOfGDPInPeriod
?AREA ?SECTOR ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
sectorCompositionOfGDP
?AREA ?SECTOR ?FRACTION)))))
Economy.kif 1086-1091
GeopoliticalArea
是 對於
RealNumber
和
TimeInterval
在 週期
行業屬性
的 GDP
sector
組成
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
GeopoliticalArea
是 對於
RealNumber
的 GDP
行業屬性
sector
組成
(<=>
(
sectorValueOfGDPInPeriod
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT) ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
sectorValueOfGDP
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT))))))
Economy.kif 1129-1137
GeopoliticalArea
是
測量
RealNumber
and
UnitOfMeasure
和
TimeInterval
在 週期
行業屬性
的
sector
GDP 價值
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
GeopoliticalArea
是 對於
測量
RealNumber
and
UnitOfMeasure
的
sector
GDP 價值
行業屬性
(<=>
(
totalGDPInPeriod
?AREA ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
totalGDP
?AREA ?AMOUNT)))))
Economy.kif 958-963
GeopoliticalArea
是 對於
TimeInterval
在 週期
CurrencyMeasure
的
totalGDP
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
total
GDP
(<=>
(
unemploymentRateOfAreaInPeriod
?AREA ?RATE ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
unemploymentRateOfArea
?AREA ?RATE)))))
Economy.kif 1456-1461
GeopoliticalArea
是 對於
TimeInterval
在週期
RealNumber
地區的
unemployment
比例
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
GeopoliticalArea
是 對於 在地區
RealNumber
的
unemployment
比例
(=>
(
agreementExpirationDate
?AGREEMENT ?ENDDATE)
(
holdsDuring
(
FutureFn
?ENDDATE)
(
not
(
property
?AGREEMENT
ActiveAgreement
))))
Mid-level-ontology.kif 14055-14058
協議
有
expiration
TimePoint
持有期間
未來
TimePoint
and
屬性
協議
and
ActiveAgreement
(=>
(
agreementRevisionDate
?AGR ?DATE ?CHANGE)
(
exists
(?TIME)
(
and
(
instance
?TIME ?DATE)
(
or
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR)))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
subProposition
?CHANGE ?AGR)))
(
and
(
holdsDuring
(
ImmediatePastFn
?TIME)
(
subProposition
?CHANGE ?AGR))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
subProposition
?CHANGE ?AGR))))))))
Government.kif 738-753
Proposition
agreement
對於
Proposition
的修改日期
TimePosition
TimePosition
例
TimePosition
and
TimePosition
持有期間
不久的過去
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
眼前的未來
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
不久的過去
TimePosition
and
次提案
Proposition
and
Proposition
持有期間
眼前的未來
TimePosition
and
次提案
Proposition
and
Proposition
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 16852-16861
Human
的
almaMater
是
中學後
Process
例
Process
and
EducationalProcess
目的地
Process
and
Human
Process
是
located
在
中學後
持有期間
何時
Process
and
attribute
Human
and
學生
(=>
(
and
(
actedIn
?ACTOR ?O)
(
instance
?PERF
DramaticActing
)
(
patient
?PERF ?ACTOR)
(
result
?PERF ?O))
(
holdsDuring
(
WhenFn
?PERF)
(
attribute
?ACTOR
Actor
)))
Mid-level-ontology.kif 20760-20767
actedIn
Human
and
內容承載物理
例
Process
and
戲劇表演
患者
Process
and
Human
結果
Process
and
內容承載物理
持有期間
何時
Process
and
attribute
Human
and
Actor
(=>
(
and
(
agent
?PROCESS ?AGENT)
(
result
?PROCESS ?WORK)
(
instance
?WORK
ArtWork
))
(
holdsDuring
(
WhenFn
?PROCESS)
(
attribute
?AGENT
Artist
)))
Mid-level-ontology.kif 18837-18843
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
例
Entity
and
ArtWork
持有期間
何時
Process
and
attribute
AutonomousAgent
and
Artist
(=>
(
and
(
agreementEffectiveDate
?AGR ?DATE)
(
confersObligation
?FORMULA ?AGR ?AGENT)
(
instance
?TIME ?DATE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
holdsObligation
?FORMULA ?AGENT)))
Government.kif 714-719
TimePoint
是
協議
的
agreement
生效日期
授予義務
Formula
,
協議
and
CognitiveAgent
例
TimePosition
and
TimePoint
持有期間
眼前的未來
TimePosition
and
持有義務
Formula
and
CognitiveAgent
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