MeasureFn
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
物理
の
measure
は
実数
の
AngularDegree
(s) では %n
物理
の
measure
は 60.0 +
実数
の
ArcMinute
(s) では %n
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
物理
の
measure
は
実数
の
ArcMinute
(s) では %n
物理
の
measure
は 60.0 +
実数
の
ArcSecond
(s) では %n
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 13325-13330
物理
の
measure
は
実数
の
OunceMass
(s) では %n
物理
の
measure
は
実数
+ 16.0 の
PoundMass
(s) では %n
(<=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
potentialOfHydrogen
?SOLUTION ?PH))
Geography.kif 2548-2551
溶液
の
measure
は
実数
の
PHValue
(s) では %n
potentialOfHydrogen
溶液
and
実数
(<=>
(
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
sectorValueOfGDPInPeriod
地政学的地域
,
IndustryAttribute
,
実数
の
測定単位
(s) and
時間間隔
時間位置
時間位置
は
時間間隔
の
instance
では %n
sectorValueOfGDP
地政学的地域
,
IndustryAttribute
and
実数
の
測定単位
(s) は
時間位置
の
during
holds %n{ない}
(=>
(
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
物質
,
微粒子オブジェクト
and
実数
の
UnitOfMass
(s)
物質
I は
物質
の
instance
では %n
物質
I の
measure
は
実数
2 の
UnitOfMass
(s) では %n
物質
I は
微粒子オブジェクト
の
part
では %n
リスト
実数
2 の
UnitOfMass
(s) は
リスト
の
member
では %n
リスト
は
AmountsFn
物質
,
微粒子オブジェクト
and
UnitOfMass
と
equal
では %n
実数
は
ListSumFn
リスト
と
equal
では %n
(=>
(
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 17947-17958
approximateDiameter
自己接続オブジェクト
and
実数
の
実数
M(s)
sphereRadius
オブジェクト
and
実数
+ 2.0 の
実数
M(s)
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
自己接続オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
実数
M は
UnitOfLength
の
instance
では %n
測定単位
は
UnitOfVolume
の
instance
では %n
実数
は
実数
と
equal
では %n
(=>
(
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
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
実数
は
面積測定
の
instance
では %n
実数
は
実数
+
実数
と
equal
では %n
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
(=>
(
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
arableLandArea
地理的地域
and
実数
の
測定単位
(s)
実数
は 0.0
greater
では %n
totalArea
地理的地域
and
実数
の
測定単位
(s)
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
地理的地域
は
ArableLand
の
instance
では %n
geographicSubregion
地理的地域
and
地理的地域
地理的地域
の
measure
は
実数
+
実数
の
測定単位
(s) では %n
(=>
(
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
FamilyStylePortion
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
FamilyStylePortion
は
オブジェクト
の
attribute
では
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
は
クラス
の
instance
では %n
オブジェクト
は
クラス
の
instance
では %n
測定単位
は
測定単位
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
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
Anemia
は
オブジェクト
の
attribute
では %n
オブジェクト
は
血
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
Female
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は 0.1 の
Liter
(s) では %n
オブジェクト
E は
Hemoglobin
の
instance
では %n
オブジェクト
E は
オブジェクト
の
part
では %n
オブジェクト
E2 は
Hemoglobin
の
instance
では
オブジェクト
E は
オブジェクト
E2 と
equal
では
オブジェクト
2 は
オブジェクト
の
part
では %n
オブジェクト
E の
measure
は
実数
の
Gram
(s) では %n
実数
は 12 より
less
では %n
(=>
(
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
Anemia
は
オブジェクト
の
attribute
では %n
オブジェクト
は
血
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
Male
は
オブジェクト
の
attribute
では %n
オブジェクト
の
measure
は 0.1 の
Liter
(s) では %n
オブジェクト
E は
Hemoglobin
の
instance
では %n
オブジェクト
E は
オブジェクト
の
part
では %n
オブジェクト
E2 は
Hemoglobin
の
instance
では
オブジェクト
E は
オブジェクト
E2 と
equal
では
オブジェクト
2 は
オブジェクト
の
part
では %n
オブジェクト
E の
measure
は
実数
の
Gram
(s) では %n
実数
は 13 より
less
では %n
(=>
(
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
LimitOrder
は
金融取引
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
Broker
は
Agreement
の
attribute
では %n
orderFor
金融取引
,
購買
and
Security
Security
の
measure
は
物理量
では %n
limitPrice
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
askPrice
Security
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
less
または同等 では %n
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
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
LimitOrder
は
金融取引
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
Broker
は
Agreement
の
attribute
では %n
orderFor
金融取引
,
販売
and
Security
Security
の
measure
は
物理量
では %n
limitPrice
金融取引
and
実数
の
測定単位
(s)
bidPrice
Security
,
実数
の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
実数
は
実数
greater
では %n
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
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 13863-13876
boilingPoint
純物質
and
実数
の
測定単位
(s)
エンティティー
は
純物質
の
instance
では %n
エンティティー
の
measure
は
実数
の
測定単位
(s) では %n は
時間間隔
の
during
holds %n{ない}
測定単位
は
UnitOfTemperature
の
instance
では %n
実数
は
実数
greater
では %n
Gas
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
時間間隔
は
工程
の
time
の existence と
overlap
s %n{dない}
工程
は
沸騰
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1538-1544
capitalExpendituresOfAreaInPeriod
地政学的地域
,
実数
の
測定単位
(s) and
時間間隔
annualExpendituresOfAreaInPeriod
地政学的地域
,
実数
の
測定単位
(s) and
時間間隔
実数
は
実数
より
greater
では %n
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1522-1530
climateTypeInArea
地理的地域
and
ColdClimateZone
時間間隔
時間間隔
は
月
の
instance
では %n
averageTemperatureForPeriod
地理的地域
,
時間間隔
and
実数
の
CelsiusDegree
(s)
10.0 は
実数
より
greater
では %n
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
climateTypeInArea
地理的地域
and
DesertClimateZone
時間間隔
は
月
の
instance
では %n
averageTemperatureForPeriod
地理的地域
,
時間間隔
and
実数
の
CelsiusDegree
(s)
実数
は 18.0 より
greater
では %n
climateTypeInArea
地理的地域
and
SubtropicalDesertClimateZone
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
climateTypeInArea
地理的地域
and
PolarTypeFClimateZone
時間位置
は
時間位置
の
instance
では %n
airTemperature
地理的地域
and
エンティティー
の
CelsiusDegree
(s) は
時間位置
の
during
holds %n{ない}
10.0 は
エンティティー
より
greater
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
climateTypeInArea
地理的地域
and
TemperateClimateZone
時間間隔
は
月
の
instance
では %n
averageTemperatureForPeriod
地理的地域
,
時間間隔
and
実数
の
CelsiusDegree
(s)
実数
は -3.0
greater
では %n
(=>
(
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
climateTypeInArea
地理的地域
and
TropicalClimateZone
月
は
月
の
instance
では %n
averageRainfallForPeriod
地理的地域
,
月
and
実数
の 1 の
thousandth
Meter
(s)
実数
は 60.0
greater
では %n
climateTypeInArea
地理的地域
and
WetTropicalClimateZone
(=>
(
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
comparativeArea
地理的地域
,
BinaryRelationExtendedToQuantities
,
正の実数
and
地理的地域
測定単位
は
UnitOfArea
の
instance
では %n
地理的地域
の
measure
は
実数
の
測定単位
(s) では %n
地理的地域
の
measure
は
実数
の
測定単位
(s) では %n
BinaryRelationExtendedToQuantities
実数
の
測定単位
(s) and
正の実数
+
実数
の
測定単位
(s)
(=>
(
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
実数
の
測定単位
(s),
物質
,
実数
の
測定単位
2(s) and
混合物
物質
I は
物質
の
instance
では %n
物質
I は
混合物
の
part
では %n
物質
I の
measure
は
実数
の
測定単位
3(s) では %n
物質
I は
混合物
の
part
では %n
物質
I2 は
物質
の
instance
では
物質
I は
物質
IE2 と
equal
では
物質
I2 は
混合物
の
part
では %n
混合物
の
measure
は
実数
の
測定単位
2(s) では %n
approximateValue
実数
and
実数
(=>
(
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
currentAccountBalance
FinancialAccount
,
日
and
実数
の
UnitedStatesDollar
(s)
実数
は 0 より
less
では %n
実数
は (0 +
実数
) と
equal
では %n
overdraft
FinancialAccount
,
実数
の
UnitedStatesDollar
(s) 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
PhysicalSystem
and
実数
実数
は 0 より
greater
では %n
時間間隔
は
Tremor
の
instance
では %n
PhysicalSystem
は
時間間隔
の
patient
では %n
エンティティー
は
UnitOfLength
の
instance
では %n
physicalAmplitude
時間間隔
and
実数
の
エンティティー
(s) は
時間間隔
1 の
during
holds %n{ない}
physicalAmplitude
時間間隔
and
実数
の
エンティティー
(s) は
時間間隔
2 の
during
holds %n{ない}
時間間隔
1 は
時間間隔
の
during
に takes %n{ない}
時間間隔
2 は
時間間隔
の
during
に takes %n{ない}
時間間隔
1 は
時間間隔
2 より
earlier
happens %n{ない}
実数
は
実数
より
greater
では %n
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