instance
(<=>
(
currencyExchangeRateInPeriod
?UNIT ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
?UNIT ?AMOUNT)))))
Economy.kif 3668-3673
UnitOfCurrency
對於
TimeInterval
在週期
CurrencyMeasure
的
currency
交換匯率
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
UnitOfCurrency
的
currency
交換匯率
(<=>
(
customer
?AGENT1 ?AGENT2)
(
exists
(?SERVICE)
(
and
(
instance
?SERVICE
FinancialTransaction
)
(
agent
?SERVICE ?AGENT2)
(
destination
?SERVICE ?AGENT1))))
Mid-level-ontology.kif 7727-7733
AutonomousAgent
是
CognitiveAgent
的
customer
Process
例
Process
and
FinancialTransaction
agent
Process
and
AutonomousAgent
目的地
Process
and
CognitiveAgent
(<=>
(
customerRepresentative
?Person1 ?Person2 ?Org)
(
exists
(?Service)
(
and
(
instance
?Service
FinancialTransaction
)
(
employs
?Org ?Person1)
(
agent
?Service ?Person1)
(
destination
?Service ?Person2))))
FinancialOntology.kif 3635-3642
CognitiveAgent
對於 %3 的
customer
代表
Process
例
Process
and
FinancialTransaction
採用
Organization
and
CognitiveAgent
agent
Process
and
CognitiveAgent
目的地
Process
and
CognitiveAgent
(<=>
(
economicAidDonatedInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidDonated
?COUNTRY ?AMOUNT)))))
Economy.kif 2819-2824
GeopoliticalArea
是 對於
TimeInterval
在期間
CurrencyMeasure
的
economic
間贈補助
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
economic
捐贈補助
(<=>
(
economicAidReceivedNetInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidReceivedNet
?COUNTRY ?AMOUNT)))))
Economy.kif 2859-2864
GeopoliticalArea
是 對於
TimeInterval
在期間
CurrencyMeasure
總共收到的
economic
補助
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
總共收到的
economic
補助
(<=>
(
electricityFractionFromSourceInPeriod
?AREA ?SOURCE ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
electricityFractionFromSource
?AREA ?SOURCE ?FRACTION)))))
Economy.kif 2056-2061
GeopoliticalArea
是 對於
RealNumber
和
TimeInterval
在週期
發電
從來源的
electricity
分支
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
GeopoliticalArea
is 對於
RealNumber
從來源
發電
的
electricity
分支
(<=>
(
equal
(
MaleToFemaleRatioFn
?AREA) ?REALNUMBER)
(
and
(
equal
?MALECOUNT
(
CardinalityFn
(
KappaFn
?MALE
(
and
(
instance
?MALE
Human
)
(
attribute
?MALE
Male
)
(
inhabits
?MALE ?AREA)))))
(
equal
?FEMALECOUNT
(
CardinalityFn
(
KappaFn
?FEMALE
(
and
(
instance
?FEMALE
Human
)
(
attribute
?FEMALE
Female
)
(
inhabits
?FEMALE ?AREA)))))
(
equal
(
DivisionFn
?MALECOUNT ?FEMALECOUNT) ?REALNUMBER)))
People.kif 206-223
等於
GeopoliticalArea
的
male
對母性比率 and
RealNumber
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
棲息
SymbolicString
and
GeopoliticalArea
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
女
棲息
SymbolicString
and
GeopoliticalArea
等於
部
Integer
and
Integer
and
RealNumber
(<=>
(
exists
(?Rate)
(
fixedInterestRate
?Account ?Rate))
(
instance
?Account
FixedRateAccount
))
FinancialOntology.kif 981-984
Number
Number
是
金融賬戶
的
fixed
固定利息
例
金融賬戶
and
固定利率賬戶
(<=>
(
exportPartnerByFractionInPeriod
?AREA1 ?AREA2 ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartnerByFraction
?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2549-2554
GeopoliticalArea
對
PositiveRealNumber
和
TimeInterval
在週期
GeopoliticalArea
由部分
export
夥伴
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
GeopoliticalArea
對於
PositiveRealNumber
由部分
GeopoliticalArea
export
夥伴
(<=>
(
exportPartnerByRankInPeriod
?AREA1 ?AREA2 ?NTH ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartnerByRank
?AREA1 ?AREA2 ?NTH)))))
Economy.kif 2511-2516
GeopoliticalArea
對
PositiveInteger
和
TimeInterval
在週期
GeopoliticalArea
由階級
export
夥伴
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
GeopoliticalArea
對於
PositiveInteger
由階級
GeopoliticalArea
export
夥伴
(<=>
(
exportPartnerInPeriod
?AGENT1 ?AGENT2 ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
exportPartner
?AGENT1 ?AGENT2)))))
Economy.kif 2387-2392
AutonomousAgent
對於
TimeInterval
在週期
AutonomousAgent
export
夥伴
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
AutonomousAgent
是
AutonomousAgent
的
export
夥伴
(<=>
(
externalDebtInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
externalDebt
?COUNTRY ?AMOUNT)))))
Economy.kif 2775-2780
GeopoliticalArea
是 對於
TimeInterval
在週期
CurrencyMeasure
的
external
債務
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
GeopoliticalArea
的
external
債務
(<=>
(
highestDecileShareOfHouseholdIncomeInPeriod
?AREA ?FRACTION ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
highestDecileShareOfHouseholdIncome
?AREA ?FRACTION)))))
Economy.kif 1279-1284
RealNumber
是對於
GeopoliticalArea
在週期
RealNumber
的
highest
平分家庭收入
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
RealNumber
是
GeopoliticalArea
的
highest
平分家庭收入
(<=>
(
holdsDuring
?T
(
attribute
?A
Barefoot
))
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Shoe
)
(
wears
?A ?S))))))
Mid-level-ontology.kif 30132-30140
持有期間
TimePosition
and
attribute
entity
and
Barefoot
持有期間
TimePosition
and
entity
例
entity
and
鞋
穿
entity
and
entity
(<=>
(
holdsDuring
?T
(
attribute
?A
Naked
))
(
holdsDuring
?T
(
not
(
exists
(?C)
(
and
(
instance
?C
Clothing
)
(
wears
?A ?C))))))
Mid-level-ontology.kif 30145-30153
持有期間
TimePosition
and
attribute
entity
and
Naked
持有期間
TimePosition
and
entity
例
entity
and
Clothing
穿
entity
and
entity
(<=>
(
holdsDuring
?T
(
attribute
?H
Alone
))
(
not
(
exists
(?H2 ?SI)
(
and
(
not
(
equal
?H ?H2))
(
instance
?H2
AutonomousAgent
)
(
instance
?SI
SocialInteraction
)
(
during
(
WhenFn
?SI) ?T)
(
involvedInEvent
?SI ?H)
(
involvedInEvent
?SI ?H2)))))
Mid-level-ontology.kif 30223-30236
持有期間
TimeInterval
and
attribute
Entity
and
Alone
Entity
2
Process
等於
Entity
and
Entity
2
例
Entity
2 and
AutonomousAgent
例
Process
and
SocialInteraction
期間
何時
Process
and
TimeInterval
Entity
是事件
Process
的
involved
Entity
2 是事件
Process
的
involved
(<=>
(
holdsDuring
?T
(
attribute
?P
Mute
))
(
not
(
exists
(?S)
(
and
(
instance
?S
Speaking
)
(
during
(
WhenFn
?S) ?T)
(
agent
?S ?P)))))
Mid-level-ontology.kif 30271-30279
持有期間
TimeInterval
and
attribute
AutonomousAgent
and
Mute
Process
例
Process
and
說話
期間
何時
Process
and
TimeInterval
agent
Process
and
AutonomousAgent
(<=>
(
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 生產速率
(<=>
(
instance
?B
Bull
)
(
and
(
instance
?B
Cattle
)
(
attribute
?B
Female
)))
Mid-level-ontology.kif 20200-20204
例
Object
and
公牛
例
Object
and
牛
attribute
Object
and
女
(<=>
(
instance
?B
Bull
)
(
and
(
instance
?B
Cattle
)
(
attribute
?B
Male
)))
Mid-level-ontology.kif 20218-20222
例
Object
and
公牛
例
Object
and
牛
attribute
Object
and
男
(<=>
(
instance
?BONE
Bone
)
(
exists
(?SKELETON)
(
and
(
or
(
instance
?SKELETON
Skeleton
)
(
instance
?SKELETON
Exoskeleton
))
(
part
?BONE ?SKELETON))))
Mid-level-ontology.kif 11682-11689
例
Object
and
Bone
Object
例
Object
and
骨架
例
Object
and
外骨骼
部分
Object
and
Object
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