Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
greaterThan
Sigma KEE - greaterThan
greaterThan
appearance as argument number 1
(
documentation
greaterThan
ChineseLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) 是真的以防 ?NUMBER1 的
Quantity
比 ?NUMBER2 的
Quantity
要大。")
chinese_format.kif 1731-1732
(
documentation
greaterThan
EnglishLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) is true just in case the
Quantity
?NUMBER1 is greater than the
Quantity
?NUMBER2.")
Merge.kif 1839-1841
(
documentation
greaterThan
JapaneseLanguage
"(
greaterThan
?NUMBER1 ?NUMBER2) は、
Quantity
?NUMBER1 が
Quantity
?NUMBER2よりも大きい場合に当てはまる。")
japanese_format.kif 339-340
(
domain
greaterThan
1
RealNumber
)
Merge.kif 1835-1835
greaterThan
の数値 1 引数は
実数
の
instance
では %n
(
domain
greaterThan
2
RealNumber
)
Merge.kif 1836-1836
greaterThan
の数値 2 引数は
実数
の
instance
では %n
(
instance
greaterThan
BinaryPredicate
)
Merge.kif 1829-1829
greaterThan
は
2進述語
の
instance
では %n
(
instance
greaterThan
IrreflexiveRelation
)
Merge.kif 1832-1832
greaterThan
は
非反射関係
の
instance
では %n
(
instance
greaterThan
RelationExtendedToQuantities
)
Merge.kif 1833-1833
greaterThan
は
数量に拡張された関係
の
instance
では %n
(
instance
greaterThan
TotalValuedRelation
)
Merge.kif 1830-1830
greaterThan
は
合計値関係
の
instance
では %n
(
instance
greaterThan
TransitiveRelation
)
Merge.kif 1831-1831
greaterThan
は
推移関係
の
instance
では %n
(
inverse
greaterThan
lessThan
)
Merge.kif 1837-1837
greaterThan
は
lessThan
の
inverse
では %n
(
trichotomizingOn
greaterThan
RealNumber
)
Merge.kif 1834-1834
greaterThan
は
実数
で
trichotomizing
されて %n
appearance as argument number 2
(
comparativeArea
SouthernOcean
greaterThan
2.0
UnitedStates
)
Geography.kif 4579-4579
comparativeArea
SouthernOcean
,
greaterThan
, 2.0 and
UnitedStates
(
format
ChineseLanguage
greaterThan
"%1 %n 是
greaterThan
%2")
chinese_format.kif 111-111
(
format
EnglishLanguage
greaterThan
"%1 is %n greater than %2")
english_format.kif 111-111
(
format
FrenchLanguage
greaterThan
"%1 est %n plus grand que %2")
french_format.kif 77-77
(
format
ItalianLanguage
greaterThan
"%1 � %n pi� grande di %2")
relations-it.txt 121-121
(
format
JapaneseLanguage
greaterThan
"%1 は %2 より greater では %n")
japanese_format.kif 1904-1904
(
format
PortugueseLanguage
greaterThan
"%1 e' %n maior que %2")
portuguese_format.kif 29-29
(
format
cz
greaterThan
"%1 %p{je} %n{nen�} v�t�� ne� %2")
relations-cz.txt 77-77
(
format
de
greaterThan
"%1 ist groesserAls %2 %n{nicht}")
relations-de.txt 127-127
(
format
hi
greaterThan
"%1 %2 se badaa %n hai")
relations-hindi.txt 161-161
(
format
ro
greaterThan
"%1 %n{nu} este greater%t{mai mare} decât %2")
relations-ro.kif 96-96
(
format
sv
greaterThan
"%1 är %n{inte} större än %2")
relations-sv.txt 76-76
(
format
tg
greaterThan
"%1 %n ay mas malaki sa %2")
relations-tg.txt 248-248
(
termFormat
ChineseLanguage
greaterThan
"大于")
chinese_format.kif 112-112
(
termFormat
ChineseLanguage
greaterThan
"比较多")
domainEnglishFormat.kif 26541-26541
(
termFormat
ChineseTraditionalLanguage
greaterThan
"比較多")
domainEnglishFormat.kif 26540-26540
(
termFormat
EnglishLanguage
greaterThan
"greater than")
domainEnglishFormat.kif 26539-26539
(
termFormat
de
greaterThan
"groesserAls")
terms-de.txt 37-37
(
termFormat
tg
greaterThan
"mas malaki sa")
relations-tg.txt 249-249
antecedent
(<=>
(
and
(
instance
?Account
PersonalAccount
)
(
greaterThan
(
CardinalityFn
(
KappaFn
?Agent
(
accountHolder
?Account ?Agent))) 1))
(
instance
?Account
JointAccount
))
FinancialOntology.kif 1007-1011
エンティティー
は
PersonalAccount
の
instance
では %n
エンティティー
class
の
instances
の数 は 1 より
greater
では %n
エンティティー
は
JointAccount
の
instance
では %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
(
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
(=>
(
and
(
equal
(
EditionFn
?TEXT ?INT1) ?EDITION1)
(
equal
(
EditionFn
?TEXT ?INT2) ?EDITION2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?EDITION1)
(
instance
?CBO2 ?EDITION2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Merge.kif 15399-15416
コンテンツベアリングオブジェクト
の
edition
正の整数
は
コンテンツベアリングオブジェクト
と
equal
では %n
コンテンツベアリングオブジェクト
の
edition
正の整数
は
コンテンツベアリングオブジェクト
と
equal
では %n
正の整数
は
正の整数
より
greater
では %n
工程
は
出版
の
instance
では %n
工程
は
出版
の
instance
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
エンティティー
は
コンテンツベアリングオブジェクト
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
date
は
日
では
工程
の
date
は
日
では
日
の
end
は
日
の
end
の
before
に happens %n{ない}
(=>
(
and
(
equal
?A
(
AverageFn
?L))
(
greaterThan
(
ListLengthFn
?L) 0))
(
equal
?A
(
DivisionFn
(
ListSumFn
?L)
(
ListLengthFn
?L))))
Merge.kif 3264-3271
実数
は
AverageFn
リスト
と
equal
では %n
リスト
の
length
は 0 より
greater
では %n
実数
は
ListSumFn
リスト
+
リスト
の
length
と
equal
では %n
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?A
(
AdditionFn
(
FirstFn
?L)
(
ListSumFn
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Merge.kif 3245-3255
実数
は
ListSumFn
リスト
と
equal
では %n
リスト
の
length
は 1 より
greater
では %n
実数
は (
FirstFn
リスト
+
ListSumFn
SubListFn
2,
リスト
の
length
and
リスト
) と
equal
では %n
(=>
(
and
(
equal
?OUT
(
ReverseFn
?IN))
(
equal
?LEN
(
StringLengthFn
?IN))
(
greaterThan
?LEN 1)
(
greaterThan
?N 0)
(
lessThan
?N ?LEN)
(
equal
?PIVOT
(
CeilingFn
(
DivisionFn
(
SubtractionFn
?LEN 1) 2)))
(
equal
?NEW
(
AdditionFn
(
SubtractionFn
?PIVOT ?N) ?PIVOT))
(
equal
?S
(
SubstringFn
?IN ?N
(
AdditionFn
1 ?N))))
(
equal
?S
(
SubstringFn
?OUT ?NEW
(
AdditionFn
1 ?NEW))))
Media.kif 3068-3089
記号文字列
は
ReverseFn
記号文字列
と
equal
では %n
非負整数
は
StringLengthFn
記号文字列
と
equal
では %n
非負整数
は 1 より
greater
では %n
非負整数
は 0 より
greater
では %n
非負整数
は
非負整数
より
less
では %n
整数
は (
非負整数
+ 1) + 2 の
ceiling
と
equal
では %n
非負整数
EW は ((
整数
+
非負整数
) +
整数
) と
equal
では %n
記号文字列
は
SubstringFn
記号文字列
,
非負整数
and (1 +
非負整数
) と
equal
では %n
記号文字列
は
SubstringFn
記号文字列
,
非負整数
EW and (1 +
非負整数
EW) と
equal
では %n
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3177-3189
リスト
は
SubListFn
正の整数
,
整数
and
リスト
と
equal
では %n (
整数
+
正の整数
) は 1 より
greater
では %n
リスト
は (
リスト
の
正の整数
th
element
) と
SubListFn
(1 +
正の整数
),
整数
and
リスト
で構成される
list
と
equal
では %n
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?VA
(
AdditionFn
(
VarianceAverageFn
?M
(
ListOrderFn
?L 1))
(
VarianceAverageFn
?M
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Weather.kif 1453-1465
実数
は
VarianceAverageFn
数
and
リスト
と
equal
では %n
リスト
の
length
は 1 より
greater
では %n
実数
は (
VarianceAverageFn
数
and
リスト
の 1th
element
+
VarianceAverageFn
数
and
SubListFn
2,
リスト
の
length
and
リスト
) と
equal
では %n
(=>
(
and
(
fOCShipsByOrigin
?MM ?HOME ?COUNT)
(
greaterThan
?COUNT 0)
(
marineInventory
?MM ?REGISTER))
(
instance
?REGISTER
FlagOfConvenienceRegister
))
Transportation.kif 1070-1075
fOCShipsByOrigin
MerchantMarine
,
地政学的地域
and
非負整数
非負整数
は 0 より
greater
では %n
marineInventory
MerchantMarine
and
ShipRegister
ShipRegister
は
FlagOfConvenienceRegister
の
instance
では %n
(=>
(
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
(
instance
?AGENT ?CLASS)
(
lethalDose
?CLASS
(
MeasureFn
?NUMBER ?UNIT))
(
greaterThan
?NUMBER 0.0))
(
instance
?AGENT
LifeThreateningAgent
))
WMD.kif 1017-1023
エンティティー
は
BiochemicalAgent
の
instance
では %n
lethalDose
BiochemicalAgent
and
実数
の
測定単位
(s)
実数
は 0.0 より
greater
では %n
エンティティー
は
LifeThreateningAgent
の
instance
では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
10.0 ?TEMP))
(
climateTypeInArea
?AREA
PolarClimateZone
))
Geography.kif 1573-1580
地理的地域
は
地理的地域
の
instance
では %n
時間間隔
は
月
の
instance
では %n
averageTemperatureForPeriod
地理的地域
,
時間間隔
and
実数
の
CelsiusDegree
(s) 10.0 は
実数
より
greater
では %n
climateTypeInArea
地理的地域
and
PolarClimateZone
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 437-448
工程
は
Auctioning
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
測定単位
は
UnitOfCurrency
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
bidPrice
オブジェクト
,
実数
の
測定単位
(s) and
AutonomousAgent
bidPrice
オブジェクト
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
greater
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?T1
(
BeginFn
?D1))
(
equal
?T2
(
BeginFn
?D2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8706-8713
時間間隔
は
正の整数
day
目 の
instance
では %n
時間間隔
は
正の整数
day
目 の
instance
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
正の整数
は
正の整数
より
greater
では %n
時点
は
時点
の
before
に happens %n{ない}
(=>
(
and
(
instance
?D1
(
DayFn
?N1
(
MonthFn
?M
(
YearFn
?Y))))
(
instance
?D2
(
DayFn
?N2
(
MonthFn
?M
(
YearFn
?Y))))
(
greaterThan
?N2 ?N1))
(
earlier
?D1 ?D2))
Merge.kif 8715-8720
時間間隔
は
正の整数
day
目 の
instance
では %n
時間間隔
は
正の整数
day
目 の
instance
では %n
正の整数
は
正の整数
より
greater
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T1
(
age
?H
(
MeasureFn
?N
YearDuration
)))
(
greaterThan
?N 12)
(
lessThan
?N 20))
(
holdsDuring
?T1
(
instance
?H
Teenager
)))
Mid-level-ontology.kif 342-348
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
の
age
は
実数
の
YearDuration
(s) では は
時間位置
の
during
holds %n{ない}
実数
は 12 より
greater
では %n
実数
は 20 より
less
では %n
エンティティー
は
Teenager
の
instance
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?HARBOR
Harbor
)
(
equipmentCount
?HARBOR
ShipBerth
?NUM)
(
greaterThan
?NUM 0))
(
capability
ShipBerthing
path
?HARBOR))
Transportation.kif 2942-2947
オブジェクト
は
Harbor
の
instance
では %n
equipmentCount
オブジェクト
,
ShipBerth
and
実数
実数
は 0 より
greater
では %n
オブジェクト
は
ShipBerthing
を
path
として行う
capable
では %n
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13754-13769
エンティティー
は
純物質
の
instance
では %n
boilingPoint
純物質
and
実数
の
測定単位
(s)
meltingPoint
純物質
and
実数
の
測定単位
(s)
測定単位
は
UnitOfTemperature
の
instance
では %n
エンティティー
の
measure
は
実数
の
測定単位
(s) では %n は
時間間隔
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
実数
は
実数
より
less
では %n
Liquid
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
時間間隔
は
工程
の
time
の existence と
overlap
s %n{dない}
工程
は
溶融
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?SZ
SurfZone
)
(
significantWaveHeight
?SZ
(
WhenFn
?SZ)
(
MeasureFn
?X
FootLength
))
(
greaterThan
?X 8.0))
(
attribute
?SZ
RedFlagSwimmingCondition
))
Weather.kif 1398-1405
水域
は
SurfZone
の
instance
では %n
significantWaveHeight
水域
,
水域
の
time
の existence and
実数
の
FootLength
(s)
実数
は 8.0 より
greater
では %n
RedFlagSwimmingCondition
は
水域
の
attribute
では %n
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13689-13698
オブジェクト
は
純物質
の
instance
では %n
純物質
は
純物質
の
subclass
では %n
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s) 29.92 は
実数
より
greater
では %n
boilingPoint
純物質
and
実数
の
KelvinDegree
(s)
オブジェクト
の
measure
は
実数
の
KelvinDegree
(s) では %n
実数
は
実数
より
greater
では %n
Gas
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13700-13709
オブジェクト
は
純物質
の
instance
では %n
純物質
は
純物質
の
subclass
では %n
boilingPoint
純物質
and
実数
の
KelvinDegree
(s)
meltingPoint
純物質
and
実数
の
KelvinDegree
(s)
オブジェクト
の
measure
は
実数
の
KelvinDegree
(s) では %n
実数
は
実数
より
greater
では %n
実数
は
実数
より
less
では %n
Liquid
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13711-13720
オブジェクト
は
純物質
の
instance
では %n
純物質
は
純物質
の
subclass
では %n
meltingPoint
純物質
and
実数
の
KelvinDegree
(s)
barometricPressure
オブジェクト
and
実数
の
InchMercury
(s)
実数
は 29.92 より
greater
では %n
オブジェクト
の
measure
は
実数
の
KelvinDegree
(s) では %n
実数
は
実数
より
less
では %n
Solid
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
equal
?T1
(
BeginFn
?Y1))
(
equal
?T2
(
BeginFn
?Y2))
(
greaterThan
?N2 ?N1))
(
before
?T1 ?T2))
Merge.kif 8674-8681
時間間隔
は
整数
year
目 の
instance
では %n
時間間隔
は
整数
year
目 の
instance
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
整数
は
整数
より
greater
では %n
時点
は
時点
の
before
に happens %n{ない}
(=>
(
and
(
instance
?Y1
(
YearFn
?N1))
(
instance
?Y2
(
YearFn
?N2))
(
greaterThan
?N2 ?N1))
(
earlier
?Y1 ?Y2))
Merge.kif 8683-8688
時間間隔
は
整数
year
目 の
instance
では %n
時間間隔
は
整数
year
目 の
instance
では %n
整数
は
整数
より
greater
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(<=>
(
attribute
?WATER
OpenSea
)
(
and
(
instance
?WATER
SaltWaterArea
)
(
not
(
instance
?WATER
LandlockedWater
))
(
distance
?LAND ?WATER
(
MeasureFn
?DIST
NauticalMile
))
(
greaterThan
?DIST 5.0)))
Geography.kif 4614-4622
OpenSea
は
オブジェクト
の
attribute
では %n
オブジェクト
は
塩水地域
の
instance
では %n
オブジェクト
は
LandlockedWater
の
instance
では
物理
と
オブジェクト
の
distance
は
実数
の
NauticalMile
(s) では %n
実数
は 5.0 より
greater
では %n
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
People.kif 298-319
average
リスト
and
実数
リスト
正の整数
リスト
の
length
は
リスト
の
length
と
equal
では %n
リスト
の 1th
element
は
リスト
の 1th
element
と
equal
では %n
正の整数
正の整数
は
リスト
の
member
では %n
実数
実数
MINUSONE,
正の整数
and
正の整数
実数
は 1 より
greater
では %n
実数
は
リスト
の
length
より
less
または同等 では %n
リスト
の
正の整数
th
element
は
実数
と
equal
では %n
正の整数
は
リスト
の
member
では %n
実数
は
リスト
の
正の整数
th
element
と
equal
では %n
正の整数
は
リスト
の
member
では %n
実数
MINUSONE は (
実数
+ 1) と
equal
では %n
実数
MINUSONE は
リスト
の
正の整数
th
element
と
equal
では %n
正の整数
は (
正の整数
+
正の整数
) と
equal
では %n
正の整数
は
リスト
の
length
と
equal
では %n
実数
は
リスト
の
正の整数
th
element
+
正の整数
と
equal
では %n
(<=>
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2)
(
or
(
equal
?NUMBER1 ?NUMBER2)
(
greaterThan
?NUMBER1 ?NUMBER2)))
Merge.kif 1872-1876
実数
は
実数
greater
では %n
実数
は
実数
と
equal
では %n
実数
は
実数
より
greater
では %n
(<=>
(
instance
?NUMBER
PositiveRealNumber
)
(
and
(
greaterThan
?NUMBER 0)
(
instance
?NUMBER
RealNumber
)))
Merge.kif 1924-1928
実数
は
正の実数
の
instance
では %n
実数
は 0 より
greater
では %n
実数
は
実数
の
instance
では %n
(<=>
(
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 7744-7752
オブジェクト
は
オブジェクト
よりも
larger
%n
実数
実数
and
測定単位
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfLength
の
instance
では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
attribute
?AREA
FlatTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.005 ?SLOPE))
Geography.kif 1752-1757
FlatTerrain
は
オブジェクト
の
attribute
では %n
土地面積
は
オブジェクト
の
part
では %n
slopeGradient
土地面積
and
非負実数
0.005 は
非負実数
より
greater
では %n
(=>
(
and
(
attribute
?AREA
LowTerrain
)
(
part
?ZONE ?AREA)
(
slopeGradient
?ZONE ?SLOPE))
(
greaterThan
0.03 ?SLOPE))
Geography.kif 1764-1769
LowTerrain
は
オブジェクト
の
attribute
では %n
土地面積
は
オブジェクト
の
part
では %n
slopeGradient
土地面積
and
非負実数
0.03 は
非負実数
より
greater
では %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
Muslim
)
(
equal
(
WealthFn
?H) ?W))
(
modalAttribute
(
exists
(?Z ?T ?U ?Y ?C)
(
and
(
instance
?Z
Zakat
)
(
instance
?Y
Year
)
(
during
?Y
(
WhenFn
?H))
(
holdsDuring
?Y
(
attribute
?H
FullyFormed
))
(
agent
?Z ?H)
(
patient
?Z ?T)
(
monetaryValue
?T
(
MeasureFn
?C ?U))
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?C
(
MultiplicationFn
?W 0.025))))
Obligation
))
ArabicCulture.kif 204-223
Muslim
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
の所有物の
value
は
通貨測定
と
equal
では %n
ステートメント
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Zakat
の
instance
では %n
エンティティー
は
年
の
instance
では %n
エンティティー
は
AutonomousAgent
の
time
の existence の
during
に takes %n{ない}
FullyFormed
は
AutonomousAgent
の
attribute
では %n は
エンティティー
の
during
holds %n{ない}
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
value
は
エンティティー
の
エンティティー
(s) では %n
エンティティー
は
UnitOfCurrency
の
instance
では %n
エンティティー
は
通貨測定
+ 0.025 より
greater
では %n には
Obligation
の
modal
force
が ある
(=>
(
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
(
birthdate
?A ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?CLASS ?FUTURE)
(
and
(
birthday
?A ?CLASS)
(
subclass
?CLASS
Day
)
(
instance
?FUTURE
Integer
)
(
equal
?CLASS
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?FUTURE))))
(
greaterThan
?FUTURE ?Y))))
Mid-level-ontology.kif 24312-24322
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
日
整数
birthday
人[人間]
and
日
日
は
日
の
subclass
では %n
整数
は
整数
の
instance
では %n
日
は
正の整数
day
目 と
equal
では %n
整数
は
整数
より
greater
では %n
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1554-1560
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 1521-1529
climateTypeInArea
地理的地域
and
ColdClimateZone
時間間隔
時間間隔
は
月
の
instance
では %n
averageTemperatureForPeriod
地理的地域
,
時間間隔
and
実数
の
CelsiusDegree
(s)
10.0 は
実数
より
greater
では %n
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1595-1601
climateTypeInArea
地理的地域
and
PolarTypeFClimateZone
時間位置
は
時間位置
の
instance
では %n
airTemperature
地理的地域
and
エンティティー
の
CelsiusDegree
(s) は
時間位置
の
during
holds %n{ない}
10.0 は
エンティティー
より
greater
では %n は
時間位置
の
during
holds %n{ない}
(=>
(
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
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18327-18332
defaultMaxValue
述語
,
正の整数
and
量
述語
@ARGS
エンティティー
は (@ARGS) の
正の整数
th
element
と
equal
では %n
ステートメント
量
は
エンティティー
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
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 13406-13415
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 13417-13428
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
(
defaultMaximumSphereRadius
?OBJECT
(
MeasureFn
?R ?U))
(
instance
?INST ?OBJECT)
(
attribute
?INST
Sphere
))
(
modalAttribute
(
exists
(?RADIUS)
(
and
(
sphereRadius
?INST
(
MeasureFn
?RADIUS ?U))
(
greaterThan
?RADIUS ?R)))
Unlikely
))
Mid-level-ontology.kif 13356-13367
defaultMaximumSphereRadius
オブジェクト
and
実数
の
測定単位
(s)
オブジェクト
は
オブジェクト
の
instance
では %n
Sphere
は
オブジェクト
の
attribute
では %n
ステートメント
実数
ADIUS
sphereRadius
オブジェクト
and
実数
ADIUS の
測定単位
(s)
実数
ADIUS は
実数
より
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 13436-13445
defaultMeasure
オブジェクト
and
実数
の
測定単位
(s)
測定単位
は
CompositeUnitOfMeasure
の
instance
では %n
ステートメント
エンティティー
実数
UANTITY
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
の
measure
は
実数
UANTITY の
測定単位
(s) では %n
実数
UANTITY は
実数
+ 1.5 より
greater
では %n には
Unlikely
の
modal
force
が ある
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18310-18315
defaultMinValue
述語
,
正の整数
and
量
述語
@ARGS
エンティティー
は (@ARGS) の
正の整数
th
element
と
equal
では %n
ステートメント
エンティティー
は
量
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
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
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4860-4874
@ROW の
Greatest
公約数 は
整数
と
equal
では %n
整数
は 0 と
equal
では
整数
整数
は
整数
より
greater
では %n
整数
整数
は (@ROW) の
member
では %n
整数
を
整数
で割った剰余数 は 0 と
equal
では %n
(=>
(
and
(
equal
?DEP
(
DepartmentOfFn
?COMP ?PHYS))
(
subOrganization
?DEP2 ?COMP)
(
not
(
equal
?DEP ?DEP2))
(
instance
?I ?PHYS)
(
inScopeOfInterest
?P ?I)
(
equal
?P1
(
ProbabilityFn
(
agent
?P ?DEP)))
(
equal
?P2
(
ProbabilityFn
(
agent
?P ?DEP2))))
(
greaterThan
?P1 ?P2))
Mid-level-ontology.kif 18182-18196
組織
は
DepartmentOfFn
組織
and
物理
と
equal
では %n
組織
2 は組織
組織
の一部では %n
組織
は
組織
2 と
equal
では
エンティティー
は
物理
の
instance
では %n
認識エージェント
は
エンティティー
に
interested
が %n
認識エージェント
1 は
組織
は
認識エージェント
の
agent
では %n の
probability
と
equal
では %n
認識エージェント
2 は
組織
2 は
認識エージェント
の
agent
では %n の
probability
と
equal
では %n
認識エージェント
1 は
認識エージェント
2 より
greater
では %n
(=>
(
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
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