and
(<=>
(
compressionRatio
?E ?R)
(
and
(
minCylinderVolume
?E
(
MeasureFn
?MIN ?M))
(
maxCylinderVolume
?E
(
MeasureFn
?MAX ?M))
(
equal
?R
(
DivisionFn
?MIN ?MAX))))
Cars.kif 1912-1917
compressionRatio
發動機
and
RealNumber
minCylinderVolume
發動機
and
測量
RealNumber
and
UnitOfMeasure
maxCylinderVolume
發動機
and
測量
UnitOfMeasure
AX and
UnitOfMeasure
equal
RealNumber
and
部
RealNumber
and
UnitOfMeasure
AX
(<=>
(
cousin
?P1 ?P2)
(
and
(
exists
(?G1 ?G2)
(
and
(
grandmother
?P1 ?G1)
(
grandfather
?P1 ?G2)
(
grandmother
?P2 ?G1)
(
grandfather
?P2 ?G2)))
(
not
(
exists
(?M ?F)
(
and
(
mother
?P1 ?M)
(
father
?P1 ?F)
(
mother
?P2 ?M)
(
father
?P2 ?F))))))
Mid-level-ontology.kif 24702-24717
Human
Human
是
cousins
女人
人
Human
的
grandmother
是
女人
Human
的
grandfather
是
人
Human
的
grandmother
是
女人
Human
的
grandfather
是
人
Organism
Organism
母親
Human
and
Organism
父親
Human
and
Organism
母親
Human
and
Organism
父親
Human
and
Organism
(<=>
(
currencyExchangePerUSDollar
?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
UnitedStatesDollar
?AMOUNT)))))
Economy.kif 3998-4003
TimeInterval
是
CurrencyMeasure
的
currency
交換 每美元
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
CurrencyMeasure
是
美國美元
的
currency
交換匯率
(<=>
(
currencyExchangeRateInPeriod
?UNIT ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
currencyExchangeRate
?UNIT ?AMOUNT)))))
Economy.kif 4005-4010
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 8894-8900
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 3653-3660
CognitiveAgent
對於 %3 的
customer
代表
Process
例
Process
and
FinancialTransaction
採用
Organization
and
CognitiveAgent
agent
Process
and
CognitiveAgent
目的地
Process
and
CognitiveAgent
(<=>
(
earthAltitude
?OBJ ?ALT)
(
exists
(?SEA)
(
and
(
altitude
?OBJ ?SEA ?ALT)
(
surface
?SEA
PlanetEarth
))))
Geography.kif 2939-2944
Object
是
LengthMeasure
above
地表
SelfConnectedObject
高度
Object
,
SelfConnectedObject
and
LengthMeasure
表面
SelfConnectedObject
and
行星地球
(<=>
(
economicAidDonatedInPeriod
?COUNTRY ?AMOUNT ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
economicAidDonated
?COUNTRY ?AMOUNT)))))
Economy.kif 3156-3161
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 3196-3201
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 2296-2301
GeopoliticalArea
是 對於
RealNumber
和
TimeInterval
在週期
發電
從來源的
electricity
分支
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
GeopoliticalArea
is 對於
RealNumber
從來源
發電
的
electricity
分支
(<=>
(
employs
?EMPLOYER ?EMPLOYEE)
(
and
(
instance
?EMPLOYER
Employer
)
(
instance
?EMPLOYEE
Employee
)))
Economy.kif 1497-1501
採用
AutonomousAgent
and
CognitiveAgent
例
AutonomousAgent
and
Employer
例
CognitiveAgent
and
Employee
(<=>
(
employs
?Org ?Agent)
(
exists
(?Employment)
(
and
(
property
?Employment
Employment
)
(
partyToAgreement
?Employment ?Org)
(
partyToAgreement
?Employment ?Agent))))
FinancialOntology.kif 3277-3283
採用
協議
and
協議
CognitiveAgent
屬性
CognitiveAgent
and
僱用
協議
是
CognitiveAgent
的
party
協議
協議
是
CognitiveAgent
的
party
協議
(<=>
(
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
equal
GeopoliticalArea
的
male
對母性比率 and
RealNumber
equal
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
男
棲息
SymbolicString
and
GeopoliticalArea
equal
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Human
attribute
SymbolicString
and
女
棲息
SymbolicString
and
GeopoliticalArea
equal
部
Integer
and
Integer
and
RealNumber
(<=>
(
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 1548-1559
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
計數
equal
部
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 2789-2794
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 2751-2756
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 2627-2632
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 3112-3117
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 1370-1375
RealNumber
是對於
GeopoliticalArea
在週期
RealNumber
的
highest
平分家庭收入
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
RealNumber
是
GeopoliticalArea
的
highest
平分家庭收入
(<=>
(
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 32141-32154
持有期間
TimeInterval
and
attribute
Entity
and
Alone
Entity
2
Process
equal
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 32189-32197
持有期間
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 3079-3084
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 3041-3046
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 3011-3016
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 1409-1414
GeopoliticalArea
對於
TimeInterval
在週期
NonnegativeRealNumber
基於基尼指數
income
分配
TimePosition
例
TimePosition
and
TimeInterval
持有期間
TimePosition
and
NonnegativeRealNumber
是
GeopoliticalArea
基於基尼指數的
income
分配
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