Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
measure
Sigma KEE - measure
measure
appearance as argument number 1
(
documentation
measure
ChineseLanguage
"这是一个非常概括的
Predicate
, 它用于断言一个特定的
Object
是由一种特定的
PhysicalQuantity
来量度。一般来说,这个
Predicate
的第二个参数会是由
Function
MeasureFn
所产生的术语。")
chinese_format.kif 2632-2634
(
documentation
measure
EnglishLanguage
"A very general
Predicate
for asserting that a particular
Physical
is measured by a particular
PhysicalQuantity
. In general, the second argument of this
Predicate
will be a term produced with the
Function
MeasureFn
.")
Merge.kif 7505-7508
(
documentation
measure
JapaneseLanguage
"非常に一般的な
Predicate
は、特定の
Object
が特 定の
PhysicalQuantity
によって測定されると主張する。 一般に、この
Predicate
の第2の引数は、
Function
MeasureFn
で生成される用語になる。")
japanese_format.kif 1347-1349
(
domain
measure
1
Physical
)
Merge.kif 7502-7502
measure
の数値 1 引数は
物理
の
instance
では %n
(
domain
measure
2
PhysicalQuantity
)
Merge.kif 7503-7503
measure
の数値 2 引数は
物理量
の
instance
では %n
(
instance
measure
AsymmetricRelation
)
Merge.kif 7501-7501
measure
は
非対称関係
の
instance
では %n
(
instance
measure
BinaryPredicate
)
Merge.kif 7500-7500
measure
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
measure
"%1 的
measure
%n 是 %2")
chinese_format.kif 607-607
(
format
EnglishLanguage
measure
"the
measure
of %1 is %n %2")
english_format.kif 610-610
(
format
FrenchLanguage
measure
"la mesure de %1 est %n %2")
french_format.kif 368-368
(
format
ItalianLanguage
measure
"lamisura %1 è %n %2")
relations-it.txt 177-177
(
format
JapaneseLanguage
measure
" %1 の
measure
は %2 では %n")
japanese_format.kif 2102-2102
(
format
PortugueseLanguage
measure
"a medida de %1 e' %n %2")
portuguese_format.kif 320-320
(
format
cz
measure
"the
measure
of %1 %p{je} %n{nen�} %2")
relations-cz.txt 378-378
(
format
de
measure
"das mass von %1 ist %2 %n{nicht}")
relations-de.txt 794-794
(
format
hi
measure
"%1 kii maapa %2 %n hai")
relations-hindi.txt 215-215
(
format
ro
measure
"
measure
%t{mãsura} lui %1 %n{nu} este %2")
relations-ro.kif 390-390
(
format
sv
measure
"mätningen av %1 är %n{inte} %2")
relations-sv.txt 409-409
(
format
tg
measure
"ang sukatan ng %1 %n ay %2")
relations-tg.txt 350-350
(
subrelation
absorbedDose
measure
)
MilitaryProcesses.kif 868-868
absorbedDose
は
measure
の
subrelation
では %n
(
subrelation
age
measure
)
Merge.kif 7517-7517
age
は
measure
の
subrelation
では %n
(
subrelation
airTemperature
measure
)
Mid-level-ontology.kif 25675-25675
airTemperature
は
measure
の
subrelation
では %n
(
subrelation
barometricPressure
measure
)
Merge.kif 7815-7815
barometricPressure
は
measure
の
subrelation
では %n
(
subrelation
effectiveRange
measure
)
Mid-level-ontology.kif 1386-1386
effectiveRange
は
measure
の
subrelation
では %n
(
subrelation
fleetDeadWeightTonnage
measure
)
Transportation.kif 1005-1005
fleetDeadWeightTonnage
は
measure
の
subrelation
では %n
(
subrelation
fleetGrossRegisteredTonnage
measure
)
Transportation.kif 987-987
fleetGrossRegisteredTonnage
は
measure
の
subrelation
では %n
(
subrelation
linearExtent
measure
)
Merge.kif 7530-7530
linearExtent
は
measure
の
subrelation
では %n
(
subrelation
loudness
measure
)
Mid-level-ontology.kif 13727-13727
loudness
は
measure
の
subrelation
では %n
(
subrelation
memorySize
measure
)
QoSontology.kif 1660-1660
memorySize
は
measure
の
subrelation
では %n
(
subrelation
phMeasure
measure
)
Mid-level-ontology.kif 9864-9864
phMeasure
は
measure
の
subrelation
では %n
(
subrelation
significantWaveHeight
measure
)
Weather.kif 1528-1528
significantWaveHeight
は
measure
の
subrelation
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
antecedent
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13605-13611
物理
の
measure
は
実数
の
MetricTon
(s) では %n
物理
の
measure
は
実数
+ 2205.0 の
PoundMass
(s) では %n
(<=>
(
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 13326-13331
物理
の
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
実数
(=>
(
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 17948-17959
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
(
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 13841-13854
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
(
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
(
engineIdleSpeed
?E
(
RotationFn
(
MeasureFn
?N1
MilesPerHour
) ?M))
(
instance
?A
Automobile
)
(
instance
?P
GasPedal
)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?E ?A)
(
part
?GP ?A)
(
instance
?C
Crankshaft
)
(
part
?C ?E)
(
holdsDuring
(
WhenFn
?P)
(
measure
?C
(
RotationFn
(
MeasureFn
?N2
MilesPerHour
) ?M))))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
実数
の
MilesPerHour
(s) and
時間分
オブジェクト
は
Automobile
の
instance
では %n
工程
は
GasPedal
の
instance
では %n
工程
は
Pushing
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
InternalCombustionEngine
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Crankshaft
の
instance
では %n
オブジェクト
は
InternalCombustionEngine
の
part
では %n
オブジェクト
の
measure
は
RotationFn
エンティティー
の
MilesPerHour
(s) and
時間分
では %n は
工程
の
time
の existence の
during
holds %n{ない}
ステートメント
エンティティー
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
equal
?MEASURE
(
MeasureFn
?NUMBER
Rad
))
(
measure
?OBJ ?MEASURE))
(
absorbedDose
?OBJ ?MEASURE))
MilitaryProcesses.kif 862-866
RadiationMeasure
は
実数
の
Rad
(s) と
equal
では %n
オブジェクト
の
measure
は
RadiationMeasure
では %n
absorbedDose
オブジェクト
and
RadiationMeasure
(=>
(
and
(
governorSpeed
?V ?Q)
(
equal
(
MeasureFn
?FAST
MilesPerHour
)
(
SpeedFn
?L1 ?T1))
(
equal
(
MeasureFn
?SLOW
MilesPerHour
)
(
SpeedFn
?L2 ?T2))
(
greaterThan
?FAST ?SLOW)
(
equal
?FASTPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?FAST
MilesPerHour
))))
(
equal
?SLOWPROB
(
ProbabilityFn
(
measure
?V
(
MeasureFn
?SLOW
MilesPerHour
)))))
(
greaterThan
?SLOWPROB ?FASTPROB))
Cars.kif 2884-2902
governorSpeed
SpeedGovernor
and
関数量
実数
の
MilesPerHour
(s) は
時間分
per
長さ測定
と
equal
では %n
実数
の
MilesPerHour
(s) は
時間分
per
長さ測定
と
equal
では %n
実数
は
実数
より
greater
では %n
実数
PROB は
SpeedGovernor
の
measure
は
実数
の
MilesPerHour
(s) では %n の
probability
と
equal
では %n
実数
PROB は
SpeedGovernor
の
measure
は
実数
の
MilesPerHour
(s) では %n の
probability
と
equal
では %n
実数
PROB は
実数
PROB より
greater
では %n
(=>
(
and
(
holdsDuring
?T
(
measure
?C ?S))
(
engineIdleSpeed
?E ?S)
(
instance
?A
Automobile
)
(
part
?E ?A)
(
part
?C ?E))
(
modalAttribute
(
not
(
exists
(?P ?GP)
(
and
(
during
?P ?T)
(
instance
?P
Pushing
)
(
destination
?P ?GP)
(
part
?GP ?A))))
Likely
))
Cars.kif 2567-2583
オブジェクト
の
measure
は
関数量
では %n は
時間位置
の
during
holds %n{ない}
engineIdleSpeed
InternalCombustionEngine
and
関数量
オブジェクト
は
Automobile
の
instance
では %n
InternalCombustionEngine
は
オブジェクト
の
part
では %n
オブジェクト
は
InternalCombustionEngine
の
part
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
時間位置
の
during
に takes %n{ない}
エンティティー
は
Pushing
の
instance
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
オブジェクト
の
part
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T1
(
attribute
?H
Dieting
))
(
holdsDuring
?T2
(
not
(
attribute
?H
Dieting
)))
(
instance
?M1
Meal
)
(
instance
?E1
Eating
)
(
agent
?E1 ?H)
(
resource
?E1 ?M1)
(
during
(
WhenFn
?E1) ?T1)
(
measure
?M1
(
MeasureFn
?C1
Calorie
))
(
instance
?M2
Meal
)
(
instance
?E2
Eating
)
(
agent
?E2 ?H)
(
resource
?E2 ?M2)
(
during
(
WhenFn
?E2) ?T2)
(
measure
?M2
(
MeasureFn
?C2
Calorie
)))
(
modalAttribute
(
greaterThan
?C2 ?C1)
Likely
))
Mid-level-ontology.kif 30662-30683
Dieting
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Dieting
は
AutonomousAgent
の
attribute
では は
時間間隔
の
during
holds %n{ない}
オブジェクト
は
Meal
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
resource
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
Calorie
(s) では %n
オブジェクト
は
Meal
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
resource
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
の
measure
は
実数
の
Calorie
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?A
Americano
)
(
part
?E ?A)
(
part
?W ?A)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90.0
CelsiusDegree
))
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)))
Food.kif 1321-1332
オブジェクト
は
Americano
の
instance
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
DrinkingWater
の
instance
では %n
物質
の
measure
は 90.0 の
CelsiusDegree
(s) では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
approximateValue
実数
and 0.03
approximateValue
実数
and 0.15
(=>
(
and
(
instance
?B
Brine
)
(
measure
?B
(
MeasureFn
1.0
Liter
))
(
part
?SALT ?B)
(
instance
?SALT
SodiumChloride
)
(
measure
?SALT
(
MeasureFn
?R
Gram
)))
(
and
(
greaterThan
?R 35.0)
(
lessThanOrEqualTo
?R 260.0)))
Geography.kif 2873-2884
オブジェクト
は
Brine
の
instance
では %n
オブジェクト
の
measure
は 1.0 の
Liter
(s) では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
SodiumChloride
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
実数
は 35.0 より
greater
では %n
実数
は 260.0 より
less
または同等 では %n
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13831-13839
工程
は
沸騰
の
instance
では %n
boilingPoint
純物質
and
実数
の
測定単位
(s)
エンティティー
は
純物質
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
の
measure
は
実数
の
測定単位
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
測定単位
は
UnitOfTemperature
の
instance
では %n
実数
は
実数
greater
では %n
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4081-4113
オブジェクト
は
BimetalTemperatureSensor
の
instance
では %n
オブジェクト
は
金属
の
instance
では %n
オブジェクト
は
金属
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
エンティティー
は
温度測定
の
instance
では %n
エンティティー
は
温度測定
の
instance
では %n
実数
は
長さ測定
の
instance
では %n
実数
は
長さ測定
の
instance
では %n
実数
は
長さ測定
の
instance
では %n
実数
は
長さ測定
の
instance
では %n
エンティティー
は
エンティティー
と
equal
では
時間位置
は
時間位置
と
equal
では
オブジェクト
の
measure
は
エンティティー
では %n
オブジェクト
の
measure
は
実数
では %n
オブジェクト
の
measure
は
実数
では %n は
時間位置
の
during
holds %n{ない}
オブジェクト
の
measure
は
エンティティー
では %n
オブジェクト
の
measure
は
実数
では %n
オブジェクト
の
measure
は
実数
では %n は
時間位置
の
during
holds %n{ない}
実数
+
実数
は
実数
+
実数
と
equal
では
(=>
(
and
(
instance
?C
Cappuccino
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
approximateValue
?L 20.0)))
Food.kif 1285-1301
オブジェクト
は
Cappuccino
の
instance
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
Bubble
の
instance
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
approximateValue
実数
and 0.03
approximateValue
実数
and 0.15
approximateValue
実数
and 20.0
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
larger
?OBJ1 ?OBJ2)
(
forall
(?QUANT1 ?QUANT2 ?UNIT)
(=>
(
and
(
measure
?OBJ1
(
MeasureFn
?QUANT1 ?UNIT))
(
measure
?OBJ2
(
MeasureFn
?QUANT2 ?UNIT))
(
instance
?UNIT
UnitOfLength
))
(
greaterThan
?QUANT1 ?QUANT2))))
Merge.kif 7758-7766
オブジェクト
は
オブジェクト
よりも
larger
%n
実数
実数
and
測定単位
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfLength
の
instance
では %n
実数
は
実数
より
greater
では %n
(<=>
(
measure
?O
(
MeasureFn
?A
MetricTon
))
(
measure
?O
(
MeasureFn
(
MultiplicationFn
?A 2205.0)
PoundMass
)))
Mid-level-ontology.kif 13605-13611
物理
の
measure
は
実数
の
MetricTon
(s) では %n
物理
の
measure
は
実数
+ 2205.0 の
PoundMass
(s) では %n
(<=>
(
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 13326-13331
物理
の
measure
は
実数
の
OunceMass
(s) では %n
物理
の
measure
は
実数
+ 16.0 の
PoundMass
(s) では %n
(=>
(
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
?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
(
attribute
?ROOM
Oversized
)
(
immediateInstance
?ROOM ?HOTELUNIT)
(
subclass
?HOTELUNIT
HotelUnit
))
(
exists
(?NORMAL ?AREA1 ?AREA2 ?U)
(
and
(
immediateInstance
?NORMAL ?HOTELUNIT)
(
instance
?U
UnitOfArea
)
(
measure
?NORMAL
(
MeasureFn
?AREA1 ?U))
(
measure
?ROOM
(
MeasureFn
?AREA2 ?U))
(
instance
?AREA1
AreaMeasure
)
(
instance
?AREA2
AreaMeasure
)
(
greaterThan
?AREA2 ?AREA1))))
Hotel.kif 1186-1201
Oversized
は
オブジェクト
の
attribute
では %n
オブジェクト
は
クラス
の
immediate
の インスタンス では %n
クラス
は
HotelUnit
の
subclass
では %n
物理
実数
,
実数
and
測定単位
物理
は
クラス
の
immediate
の インスタンス では %n
測定単位
は
UnitOfArea
の
instance
では %n
物理
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
実数
は
面積測定
の
instance
では %n
実数
は
面積測定
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
attribute
?X ?Y)
(
instance
?Y
TemperatureAttribute
)
(
instance
?X
Object
))
(
exists
(?TEMP)
(
and
(
measure
?X ?TEMP)
(
instance
?TEMP
TemperatureMeasure
)
(
attribute
?TEMP ?Y))))
Mid-level-ontology.kif 25687-25696
属性
は
オブジェクト
の
attribute
では %n
属性
は
TemperatureAttribute
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
オブジェクト
の
measure
は
オブジェクト
では %n
オブジェクト
は
温度測定
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13536-13545
defaultMaximumMeasure
オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
測定単位
(s) では %n
実数
UANTITY は
実数
より
greater
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMaximumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
greaterThan
(
MeasureFn
?QUANTITY ?UNIT2)
(
MeasureFn
?Q ?UNIT1))))
Unlikely
))
Mid-level-ontology.kif 13547-13558
defaultMaximumMeasure
オブジェクト
and
実数
の
測定単位
(s)
クラス
は
NonCompositeUnitOfMeasure
の
subclass
では %n
測定単位
は
クラス
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY and
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
エンティティー
(s) では %n
エンティティー
は
クラス
の
instance
では %n
実数
UANTITY の
エンティティー
(s) は
実数
の
測定単位
(s) より
greater
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
greaterThan
?QUANTITY
(
MultiplicationFn
?Q 1.5))))
Unlikely
))
Mid-level-ontology.kif 13566-13575
defaultMeasure
オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
測定単位
(s) では %n
実数
UANTITY は
実数
+ 1.5 より
greater
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY
(
MultiplicationFn
?Q .5))))
Unlikely
))
Mid-level-ontology.kif 13577-13586
defaultMeasure
オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
測定単位
(s) では %n
実数
UANTITY は
実数
+ .5 より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT))
(
instance
?UNIT
CompositeUnitOfMeasure
))
(
modalAttribute
(
exists
(?INST ?QUANTITY)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT))
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13505-13514
defaultMinimumMeasure
オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
測定単位
(s) では %n
実数
UANTITY は
実数
より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMinimumMeasure
?OBJECT
(
MeasureFn
?Q ?UNIT1))
(
subclass
?UNITCLASS
NonCompositeUnitOfMeasure
)
(
instance
?UNIT1 ?UNITCLASS))
(
modalAttribute
(
exists
(?INST ?QUANTITY ?UNIT2)
(
and
(
instance
?INST ?OBJECT)
(
measure
?INST
(
MeasureFn
?QUANTITY ?UNIT2))
(
instance
?UNIT2 ?UNITCLASS)
(
lessThan
?QUANTITY ?Q)))
Unlikely
))
Mid-level-ontology.kif 13516-13527
defaultMinimumMeasure
オブジェクト
and
実数
の
測定単位
(s)
クラス
は
NonCompositeUnitOfMeasure
の
subclass
では %n
測定単位
は
クラス
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY and
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
エンティティー
(s) では %n
エンティティー
は
クラス
の
instance
では %n
実数
UANTITY は
実数
より
less
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
graphMeasure
?G ?M)
(
instance
?AN
GraphNode
)
(
graphPart
?AN ?G)
(
graphPart
?AA ?G)
(
instance
?AA
GraphArc
)
(
abstractCounterpart
?AN ?PN)
(
abstractCounterpart
?AA ?PA)
(
arcWeight
?AA ?N))
(
measure
?PA
(
MeasureFn
?N ?M)))
Merge.kif 6165-6176
graphMeasure
グラフ
and
測定単位
グラフ要素
は
グラフノード
の
instance
では %n
グラフ要素
は
グラフ
の
part
では %n
グラフアーク
は
グラフ
の
part
では %n
グラフアーク
は
グラフアーク
の
instance
では %n
abstractCounterpart
グラフ要素
and
物理
abstractCounterpart
グラフアーク
and
物理
グラフアーク
の
value
は
実数
では %n
物理
の
measure
は
実数
の
測定単位
(s) では %n
(=>
(
and
(
immediateInstance
?BIG ?CLASS)
(
immediateInstance
?NORMAL ?CLASS)
(
attribute
?BIG
Oversized
))
(
exists
(?BIGSIZE ?NORMALSIZE ?U)
(
and
(
instance
?U
UnitOfMeasure
)
(
measure
?BIG
(
MeasureFn
?BIGSIZE ?U))
(
measure
?NORMAL
(
MeasureFn
?NORMALSIZE ?U))
(
greaterThan
?BIGSIZE ?NORMALSIZE))))
Hotel.kif 1172-1184
オブジェクト
は
クラス
の
immediate
の インスタンス では %n
物理
は
クラス
の
immediate
の インスタンス では %n
Oversized
は
オブジェクト
の
attribute
では %n
オブジェクト
SIZE
物理
SIZE and
測定単位
測定単位
は
測定単位
の
instance
では %n
オブジェクト
の
measure
は
オブジェクト
SIZE の
測定単位
(s) では %n
物理
の
measure
は
物理
SIZE の
測定単位
(s) では %n
オブジェクト
SIZE は
物理
SIZE より
greater
では %n
(=>
(
and
(
immediateInstance
?X ?CLASS)
(
immediateInstance
?Y ?CLASS)
(
attribute
?X
ColdTemperature
)
(
attribute
?Y
HotTemperature
))
(
exists
(?TEMPX ?TEMPY ?UNIT)
(
and
(
measure
?X
(
MeasureFn
?TEMPX ?UNIT))
(
instance
?UNIT
UnitOfTemperature
)
(
instance
?TEMPX
TemperatureMeasure
)
(
measure
?Y
(
MeasureFn
?TEMPY ?UNIT))
(
instance
?TEMPY
TemperatureMeasure
)
(
greaterThan
?TEMPY ?TEMPX))))
Mid-level-ontology.kif 25722-25737
オブジェクト
は
クラス
の
immediate
の インスタンス では %n
オブジェクト
は
クラス
の
immediate
の インスタンス では %n
ColdTemperature
は
オブジェクト
の
attribute
では %n
HotTemperature
は
オブジェクト
の
attribute
では %n
実数
実数
and
測定単位
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfTemperature
の
instance
では %n
実数
は
温度測定
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
実数
は
温度測定
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?ACCELERATE
Accelerating
)
(
agent
?ACCELERATE ?AGENT))
(
exists
(?LENGTH1 ?LENGTH2 ?TIME1 ?TIME2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH1 ?U1)
(
MeasureFn
?TIME1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?ACCELERATE))
(
measure
?AGENT
(
SpeedFn
(
MeasureFn
?LENGTH2 ?U1)
(
MeasureFn
?TIME2 ?U2))))
(
or
(
greaterThan
?LENGTH2 ?LENGTH1)
(
greaterThan
?TIME2 ?TIME1)))))
Mid-level-ontology.kif 17143-17164
工程
は
Accelerating
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
実数
実数
,
実数
,
実数
,
エンティティー
and
エンティティー
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
AutonomousAgent
の
measure
は
実数
の
エンティティー
(s)
per
実数
の
エンティティー
(s) では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?ATOM
Actinium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
227
Amu
)))
Mid-level-ontology.kif 28812-28816
物理
は
Actinium
の
instance
では %n
物理
は
原子
の
instance
では %n
物理
の
measure
は 227 の
Amu
(s) では %n
(=>
(
and
(
instance
?ATOM
Aluminum
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
26.9815
Amu
)))
Mid-level-ontology.kif 27478-27482
物理
は
Aluminum
の
instance
では %n
物理
は
原子
の
instance
では %n
物理
の
measure
は 26.9815 の
Amu
(s) では %n
(=>
(
and
(
instance
?ATOM
Americium
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
243
Amu
)))
Mid-level-ontology.kif 28918-28922
物理
は
Americium
の
instance
では %n
物理
は
原子
の
instance
では %n
物理
の
measure
は 243 の
Amu
(s) では %n
(=>
(
and
(
instance
?ATOM
Antimony
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
121.75
Amu
)))
Mid-level-ontology.kif 28112-28116
物理
は
Antimony
の
instance
では %n
物理
は
原子
の
instance
では %n
物理
の
measure
は 121.75 の
Amu
(s) では %n
(=>
(
and
(
instance
?ATOM
Argon
)
(
instance
?ATOM
Atom
))
(
measure
?ATOM
(
MeasureFn
39.948
Amu
)))
Mid-level-ontology.kif 27561-27565
物理
は
Argon
の
instance
では %n
物理
は
原子
の
instance
では %n
物理
の
measure
は 39.948 の
Amu
(s) では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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