and
(<=>
(
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
(<=>
(
instance
?C
Calf
)
(
and
(
instance
?C
Cattle
)
(
attribute
?C
NonFullyFormed
)))
Mid-level-ontology.kif 20209-20213
例
Object
and
小牛
例
Object
and
牛
attribute
Object
and
沒有完全形成
(<=>
(
instance
?CS
ConjugatedSubstance
)
(
exists
(?C1 ?C2 ?P)
(
and
(
instance
?C1
CompoundSubstance
)
(
instance
?C2
CompoundSubstance
)
(
not
(
equal
?C1 ?C2))
(
instance
?P
ChemicalSynthesis
)
(
resource
?P ?C1)
(
resource
?P ?C2)
(
result
?P ?CS))))
Mid-level-ontology.kif 6478-6488
例
Entity
and
共軛物質
Object
Object
and
Process
例
Object
and
CompoundSubstance
例
Object
and
CompoundSubstance
等於
Object
and
Object
例
Process
and
ChemicalSynthesis
資源
Process
and
Object
資源
Process
and
Object
結果
Process
and
Entity
(<=>
(
instance
?Collateral
Collateral
)
(
exists
(?Loan)
(
and
(
instance
?Loan
SecuredLoan
)
(
securedBy
?Loan ?Collateral))))
FinancialOntology.kif 1321-1326
例
抵押
and
抵押
金融賬戶
例
金融賬戶
and
擔保貸款
抵押
是
金融賬戶
的
secured
(<=>
(
instance
?DISTRICT
CityDistrict
)
(
exists
(?CITY)
(
and
(
instance
?CITY
City
)
(
geopoliticalSubdivision
?DISTRICT ?CITY))))
Mid-level-ontology.kif 8080-8085
例
GeopoliticalArea
and
市區
GeopoliticalArea
例
GeopoliticalArea
and
City
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
(<=>
(
instance
?DV
DamagedVehicle
)
(
and
(
instance
?DV
Vehicle
)
(
attribute
?DV
DeviceDamaged
)))
Mid-level-ontology.kif 30094-30098
例
Object
and
DamagedVehicle
例
Object
and
車輛
attribute
Object
and
DeviceDamaged
(<=>
(
instance
?H
Hen
)
(
and
(
instance
?H
Chicken
)
(
attribute
?H
Female
)))
Mid-level-ontology.kif 20232-20236
例
Object
and
母雞
例
Object
and
雞
attribute
Object
and
女
(<=>
(
instance
?Hardware
ComputerHardware
)
(
exists
(?Computer)
(
and
(
instance
?Computer
Computer
)
(
component
?Hardware ?Computer))))
QoSontology.kif 63-68
例
CorpuscularObject
and
電腦硬件
CorpuscularObject
例
CorpuscularObject
and
電腦
零件
CorpuscularObject
and
CorpuscularObject
(<=>
(
instance
?ICE
Ice
)
(
and
(
instance
?ICE
Water
)
(
attribute
?ICE
Solid
)))
Mid-level-ontology.kif 8979-8983
例
Object
and
冰
例
Object
and
Water
attribute
Object
and
固體
(<=>
(
instance
?Index
InflationIndex
)
(
exists
(?Inflation)
(
and
(
instance
?Inflation
Inflation
)
(
benchmark
?Inflation ?Index))))
FinancialOntology.kif 1668-1673
例
性能指標
and
通脹指數
Abstract
例
Abstract
and
Inflation
性能指標
是
Abstract
的
benchmark
(<=>
(
instance
?Index
StockIndex
)
(
exists
(?Stock)
(
and
(
instance
?Stock
Stock
)
(
benchmark
?Index ?Stock))))
FinancialOntology.kif 1696-1701
例
Abstract
and
股票指數
性能指標
例
性能指標
and
股票
性能指標
是
Abstract
的
benchmark
(<=>
(
instance
?L
Lamb
)
(
and
(
instance
?L
Sheep
)
(
attribute
?L
NonFullyFormed
)))
Mid-level-ontology.kif 20186-20190
例
Object
and
羔羊
例
Object
and
羊
attribute
Object
and
沒有完全形成
(<=>
(
instance
?NUMBER
NegativeRealNumber
)
(
and
(
lessThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1948-1952
例
RealNumber
and
NegativeRealNumber
少於
RealNumber
and 0
例
RealNumber
and
RealNumber
(<=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
and
(
greaterThanOrEqualTo
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1926-1930
例
RealNumber
and
NonnegativeRealNumber
大於或等於
RealNumber
and 0
例
RealNumber
and
RealNumber
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1937-1941
例
RealNumber
and
PositiveRealNumber
比較多
RealNumber
and 0
例
RealNumber
and
RealNumber
(<=>
(
instance
?ORG
GovernmentOrganization
)
(
or
(
instance
?ORG
Government
)
(
exists
(?GOV)
(
and
(
instance
?GOV
Government
)
(
subOrganization
?ORG ?GOV)))))
Government.kif 108-115
例
Organization
and
政府組織
例
Organization
and
Government
Organization
例
Organization
and
Government
子組織
Organization
and
Organization
(<=>
(
instance
?R
Rooster
)
(
and
(
instance
?R
Chicken
)
(
attribute
?R
Male
)))
Mid-level-ontology.kif 20241-20245
例
Object
and
公雞
例
Object
and
雞
attribute
Object
and
男
(<=>
(
instance
?VERT
Vertebrate
)
(
exists
(?SPINE)
(
and
(
instance
?VERT
Animal
)
(
component
?SPINE ?VERT)
(
instance
?SPINE
SpinalColumn
))))
Mid-level-ontology.kif 10944-10950
例
CorpuscularObject
and
Vertebrate
CorpuscularObject
例
CorpuscularObject
and
Animal
零件
CorpuscularObject
and
CorpuscularObject
例
CorpuscularObject
and
脊柱
(<=>
(
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
總力量
(<=>
(
languagePercentInRegion
?L ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?G1)
(
speaksLanguage
?P ?L)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1566-1577
百分之
RealNumber
的人在
GeographicArea
speak
Language
Collection
Collection
,
SentientAgent
,
SentientAgent
2,
RealNumber
1 and
RealNumber
2
位於
SentientAgent
and
GeographicArea
會員
SentientAgent
and
Collection
Language
是
SentientAgent
的
speaks
語言
RealNumber
1 是
Collection
的
member
計數
位於
SentientAgent
2 and
GeographicArea
會員
SentientAgent
2 and
Collection
RealNumber
2 是
Collection
的
member
計數
等於
部
RealNumber
and 100 and
部
RealNumber
1 and
RealNumber
2
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