exists
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3260-3266
採用
協議
and
協議
CognitiveAgent
屬性
CognitiveAgent
and
僱用
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
(<=>
(
ethnicityPercentInRegion
?BG ?N ?R)
(
exists
(?G1 ?G2 ?P ?P2 ?N1 ?N2)
(
and
(
located
?P ?R)
(
member
?P ?BG)
(
member
?P ?G1)
(
memberCount
?G1 ?N1)
(
located
?P2 ?R)
(
member
?P2 ?G2)
(
memberCount
?G2 ?N2)
(
equal
(
DivisionFn
?N 100)
(
DivisionFn
?N1 ?N2)))))
People.kif 1547-1558
RealNumber
percent
的人在
GeographicArea
是
EthnicGroup
Collection
Collection
,
Physical
,
Physical
,
RealNumber
1 and
RealNumber
2
位於
Physical
and
GeographicArea
會員
Physical
and
EthnicGroup
會員
Physical
and
Collection
RealNumber
1 是
Collection
的
member
計數
位於
Physical
and
GeographicArea
會員
Physical
and
Collection
RealNumber
2 是
Collection
的
member
計數
等於
部
RealNumber
and 100 and
部
RealNumber
1 and
RealNumber
2
(<=>
(
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
?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
?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
?Hardware
ComputerHardware
)
(
exists
(?Computer)
(
and
(
instance
?Computer
Computer
)
(
component
?Hardware ?Computer))))
QoSontology.kif 63-68
例
CorpuscularObject
and
電腦硬件
CorpuscularObject
例
CorpuscularObject
and
電腦
零件
CorpuscularObject
and
CorpuscularObject
(<=>
(
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
?Loan
SecuredLoan
)
(
exists
(?Security)
(
securedBy
?Loan ?Security)))
FinancialOntology.kif 1348-1351
例
金融賬戶
and
擔保貸款
抵押
抵押
是
金融賬戶
的
secured
(<=>
(
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
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