MeasureFn
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
測量
Physical
and
測量
RealNumber
and
圓周角度
測量
Physical
and
測量
乘法
60.0 and
RealNumber
and
弧分
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
測量
Physical
and
測量
RealNumber
and
弧分
測量
Physical
and
測量
乘法
60.0 and
RealNumber
and
弧秒
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 13326-13331
測量
Physical
and
測量
RealNumber
and
OunceMass
測量
Physical
and
測量
部
RealNumber
and 16.0 and
磅質量
(<=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
potentialOfHydrogen
?SOLUTION ?PH))
Geography.kif 2548-2551
測量
Solution
and
測量
RealNumber
and
酸鹼度
RealNumber
是
Solution
的氫
potential
(<=>
(
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 價值
行業屬性
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
amount
Substance
,
CorpuscularObject
and
測量
RealNumber
and
UnitOfMass
例
Substance
I and
Substance
測量
Substance
I and
測量
RealNumber
and
UnitOfMass
部分
Substance
I and
CorpuscularObject
List
在列表中
測量
RealNumber
and
UnitOfMass
and
List
等於
List
and
AmountsFn
Substance
,
CorpuscularObject
and
UnitOfMass
等於
RealNumber
and
ListSumFn
List
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17948-17959
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
RealNumber
M
Object
的
radius
是
測量
部
RealNumber
and 2.0 and
RealNumber
M
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
測量
SelfConnectedObject
and
測量
RealNumber
and
UnitOfMeasure
例
RealNumber
M and
UnitOfLength
例
UnitOfMeasure
and
UnitOfVolume
等於
RealNumber
and
RealNumber
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
RealNumber
and
AreaMeasure
等於
RealNumber
and
乘法
RealNumber
and
RealNumber
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
arable
土地
大於或等於
RealNumber
and 0.0
測量
RealNumber
and
UnitOfMeasure
是
GeographicArea
的
total
區域
例
UnitOfMeasure
and
UnitOfArea
GeographicArea
例
GeographicArea
and
耕地
GeographicArea
是
GeographicArea
的
geographic
次要地區
測量
GeographicArea
and
測量
乘法
RealNumber
and
RealNumber
and
UnitOfMeasure
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
attribute
Object
and
FamilyStylePortion
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
attribute
Object
and
FamilyStylePortion
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
Object
and
Class
例
Object
and
Class
例
UnitOfMeasure
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
attribute
Object
and
Anemia
例
Object
and
Blood
部分
Object
and
Object
attribute
Object
and
女
測量
Object
and
測量
0.1 and
升
例
Object
E and
Hemoglobin
部分
Object
E and
Object
例
Object
E2 and
Hemoglobin
等於
Object
E and
Object
E2
部分
Object
and
Object
測量
Object
E and
測量
RealNumber
and
公克
少於
RealNumber
and 12
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
attribute
Object
and
Anemia
例
Object
and
Blood
部分
Object
and
Object
attribute
Object
and
男
測量
Object
and
測量
0.1 and
升
例
Object
E and
Hemoglobin
部分
Object
E and
Object
例
Object
E2 and
Hemoglobin
等於
Object
E and
Object
E2
部分
Object
and
Object
測量
Object
E and
測量
RealNumber
and
公克
少於
RealNumber
and 13
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
attribute
FinancialTransaction
and
限價訂單
協議
是
FinancialTransaction
的
party
協議
attribute
協議
and
經紀人
FinancialTransaction
是 對於
安全
的
order
Buying
測量
安全
and
PhysicalQuantity
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
limit
價格
例
UnitOfMeasure
and
UnitOfCurrency
AutonomousAgent
為了
安全
asks
測量
RealNumber
and
UnitOfMeasure
小於或等於
RealNumber
and
RealNumber
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
患者
SymbolicString
and
安全
測量
安全
and
PhysicalQuantity
等於
何時
SymbolicString
and
SymbolicString
ingTime
暫時重疊
AutonomousAgent
and
SymbolicString
ingTime and
協議
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
attribute
FinancialTransaction
and
限價訂單
協議
是
FinancialTransaction
的
party
協議
attribute
協議
and
經紀人
FinancialTransaction
是 對於
安全
的
order
Selling
測量
安全
and
PhysicalQuantity
測量
RealNumber
and
UnitOfMeasure
是
FinancialTransaction
的
limit
價格
AutonomousAgent
bids
測量
RealNumber
and
UnitOfMeasure
對於
安全
例
UnitOfMeasure
and
UnitOfCurrency
大於或等於
RealNumber
and
RealNumber
持有義務
卡帕
SymbolicString
and
例
SymbolicString
and
Selling
患者
SymbolicString
and
安全
測量
安全
and
PhysicalQuantity
等於
何時
SymbolicString
and
SymbolicString
ingTime
暫時重疊
SymbolicString
ingTime and
AutonomousAgent
and
協議
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13841-13854
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
boiling
點
例
Entity
and
PureSubstance
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfTemperature
大於或等於
RealNumber
and
RealNumber
持有期間
TimeInterval
and
attribute
Entity
and
加油站
Process
暫時重疊
何時
Process
and
TimeInterval
例
Process
and
Boiling
患者
Process
and
Entity
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1538-1544
GeopoliticalArea
在週期
測量
RealNumber
and
UnitOfMeasure
對於
TimeInterval
的
capital
地區支出
GeopoliticalArea
對於
TimeInterval
在週期
測量
RealNumber
and
UnitOfMeasure
的
annual
地區消費
比較多
RealNumber
and
RealNumber
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1522-1530
寒冷氣候帶
是
GeographicArea
地區的
climate
類別
TimeInterval
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
10.0 and
RealNumber
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
沙漠氣候區
是
GeographicArea
地區的
climate
類別
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
比較多
RealNumber
and 18.0
亞熱帶沙漠氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
極地型F氣候區
是
GeographicArea
地區的
climate
類別
例
TimePosition
and
TimePosition
持有期間
TimePosition
and
測量
entity
and
攝氏度
是
GeographicArea
的
air
溫度
持有期間
TimePosition
and
比較多
10.0 and
entity
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
溫帶氣候區
是
GeographicArea
地區的
climate
類別
例
TimeInterval
and
Month
1 對於 %3 在 %2 週期的
average
溫度
大於或等於
RealNumber
and -3.0
(=>
(
and
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))
(
climateTypeInArea
?AREA
WetTropicalClimateZone
))
Geography.kif 1316-1323
熱帶氣候區
是
GeographicArea
地區的
climate
類別
例
Month
and
Month
GeographicArea
對於
測量
RealNumber
and
毫
儀表
在
Month
週期的
average
降雨量
大於或等於
RealNumber
and 60.0
濕熱帶氣候區
是
GeographicArea
地區的
climate
類別
(=>
(
and
(
comparativeArea
?REGION1 ?RELATION ?FACTOR ?REGION2)
(
instance
?UNIT
UnitOfArea
)
(
measure
?REGION1
(
MeasureFn
?NUM1 ?UNIT))
(
measure
?REGION2
(
MeasureFn
?NUM2 ?UNIT)))
(?RELATION
(
MeasureFn
?NUM1 ?UNIT)
(
MeasureFn
(
MultiplicationFn
?FACTOR ?NUM2) ?UNIT)))
Geography.kif 659-669
GeographicArea
comparative
地區
BinaryRelationExtendedToQuantities
對於
PositiveRealNumber
跟
GeographicArea
在一起
例
UnitOfMeasure
and
UnitOfArea
測量
GeographicArea
and
測量
RealNumber
and
UnitOfMeasure
測量
GeographicArea
and
測量
RealNumber
and
UnitOfMeasure
BinaryRelationExtendedToQuantities
測量
RealNumber
and
UnitOfMeasure
and
測量
乘法
PositiveRealNumber
and
RealNumber
and
UnitOfMeasure
(=>
(
and
(
concentration
(
MeasureFn
?N1 ?U) ?S
(
MeasureFn
?N2 ?U2) ?M)
(
instance
?SI ?S)
(
part
?SI ?M)
(
measure
?SI
(
MeasureFn
?N3 ?U3))
(
part
?SI ?M)
(
not
(
instance
?SI2 ?S))
(
not
(
equal
?SI ?SIE2))
(
part
?SI2 ?M)
(
measure
?M
(
MeasureFn
?N2 ?U2)))
(
approximateValue
?N1 ?N3))
Medicine.kif 234-249
concentration
測量
RealNumber
and
UnitOfMeasure
,
Substance
,
測量
RealNumber
and
UnitOfMeasure
and
Mixture
例
Substance
I and
Substance
部分
Substance
I and
Mixture
測量
Substance
I and
測量
RealNumber
and
UnitOfMeasure
部分
Substance
I and
Mixture
例
Substance
I2 and
Substance
等於
Substance
I and
Substance
IE2
部分
Substance
I2 and
Mixture
測量
Mixture
and
測量
RealNumber
and
UnitOfMeasure
approximateValue
RealNumber
and
RealNumber
(=>
(
and
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 783-788
金融賬戶
對於 %3 的
current
帳戶存款
少於
RealNumber
and 0
等於
RealNumber
and
減法
0 and
RealNumber
金融賬戶
是 對於
Day
的
overdraft
測量
RealNumber
and
美國美元
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
dampingRatio
物理系統
and
RealNumber
比較多
RealNumber
and 0
例
TimeInterval
and
震
患者
TimeInterval
and
物理系統
例
Entity
and
UnitOfLength
持有期間
TimeInterval
and
physicalAmplitude
TimeInterval
and
測量
RealNumber
and
Entity
持有期間
TimeInterval
and
physicalAmplitude
TimeInterval
and
測量
RealNumber
and
Entity
期間
TimeInterval
and
TimeInterval
期間
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
比較多
RealNumber
and
RealNumber
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