greaterThan
(=>
(
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
(
attribute
?F
Menopausal
))
(
birthdate
?F ?B)
(
instance
?B
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y))))
(
equal
?A1
(
AdditionFn
49 ?Y))
(
equal
?A2
(
AdditionFn
52 ?Y))
(
equal
?START
(
BeginFn
?T)))
(
modalAttribute
(
and
(
greaterThan
?START ?A1)
(
greaterThan
?A2 ?START))
Likely
))
Mid-level-ontology.kif 23916-23932
Menopausal
は
人[人間]
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
birthdate
人[人間]
and
日
日
は
正の整数
day
目 の
instance
では %n
実数
は (49 +
整数
) と
equal
では %n
実数
は (52 +
整数
) と
equal
では %n
時点
は
時間間隔
の
beginning
と
equal
では %n
ステートメント
時点
は
実数
より
greater
では %n
実数
は
時点
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T
(
attribute
?H ?C))
(
instance
?H
ChronicDisease
)
(
duration
?T ?D))
(
greaterThan
?D
(
MeasureFn
3
MonthDuration
)))
Mid-level-ontology.kif 5919-5926
エンティティー
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
エンティティー
は
ChronicDisease
の
instance
では %n
時間間隔
の
duration
は
実数
では %n
実数
は 3 の
MonthDuration
(s) より
greater
では %n
(=>
(
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
(
holdsDuring
?TIME
(
capitalExpendituresOfArea
?AREA ?CAPAMOUNT))
(
holdsDuring
?TIME
(
annualExpendituresOfArea
?AREA ?TOTALAMOUNT)))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1558-1562
capitalExpendituresOfArea
エンティティー
and
実数
は
時間位置
の
during
holds %n{ない}
annualExpendituresOfArea
エンティティー
and
実数
は
時間位置
の
during
holds %n{ない}
実数
は
実数
より
greater
では %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
(
increasesLikelihood
?FORMULA1 ?FORMULA2)
(
equal
(
ProbabilityFn
?FORMULA2) ?NUMBER1)
(
conditionalProbability
?FORMULA1 ?FORMULA2 ?NUMBER2))
(
greaterThan
?NUMBER2 ?NUMBER1))
Merge.kif 2606-2611
公式
は
公式
の 可能性を
increase
s %n{ない}
公式
の
probability
は
実数
と
equal
では %n
公式
が
実数
では 場合の
公式
の
probability
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9839-9861
オブジェクト
は
Antacid
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の すぐ
after
の
during
holds %n{ない}
phMeasure
オブジェクト
and
実数
phMeasure
オブジェクト
and
実数
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?A
ObliqueAngle
)
(
angularMeasure
?A ?N))
(
greaterThan
?N 90.0))
Mid-level-ontology.kif 4848-4852
TwoDimensionalAngle
は
ObliqueAngle
の
instance
では %n
angularMeasure
TwoDimensionalAngle
and
実数
実数
は 90.0 より
greater
では %n
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9900-9922
オブジェクト
は
ProtonPumpInhibitor
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の すぐ
after
の
during
holds %n{ない}
phMeasure
オブジェクト
and
実数
phMeasure
オブジェクト
and
実数
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?A1
Automobile
)
(
instance
?A2
Automobile
)
(
instance
?S1
AutomobileShock
)
(
part
?S1 ?A1)
(
not
(
exists
(?S2)
(
and
(
instance
?S2
AutomobileShock
)
(
part
?S2 ?A2))))
(
dampingRatio
?A1 ?R1)
(
dampingRatio
?A2 ?R2))
(
greaterThan
?R2 ?R1))
Cars.kif 853-866
PhysicalSystem
は
Automobile
の
instance
では %n
PhysicalSystem
は
Automobile
の
instance
では %n
オブジェクト
は
AutomobileShock
の
instance
では %n
オブジェクト
は
PhysicalSystem
の
part
では %n
オブジェクト
オブジェクト
は
AutomobileShock
の
instance
では %n
オブジェクト
は
PhysicalSystem
の
part
では %n
dampingRatio
PhysicalSystem
and
実数
dampingRatio
PhysicalSystem
and
実数
実数
は
実数
より
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
?ADULT
HumanAdult
)
(
height
?ADULT
(
MeasureFn
?HEIGHT
Inch
)))
(
not
(
greaterThan
?HEIGHT 120.0)))
Mid-level-ontology.kif 211-217
自己接続オブジェクト
は
HumanAdult
の
instance
では %n
自己接続オブジェクト
の
height
は
実数
の
Inch
(s) では %n
実数
は 120.0 より
greater
では
(=>
(
and
(
instance
?AID
AppleID
)
(
password
?AID ?N)
(
equal
?L
(
StringLengthFn
?N)))
(
greaterThan
?L 7))
ComputingBrands.kif 2018-2023
ComputerPassword
は
Apple ID
の
instance
では %n
password
ComputerPassword
and
記号文字列
非負整数
は
StringLengthFn
記号文字列
と
equal
では %n
非負整数
は 7 より
greater
では %n
(=>
(
and
(
instance
?AIRPORT
Airport
)
(
attribute
?AIRPORT
VeryLongRunwayAirport
))
(
exists
(?RUNWAY ?LENGTH)
(
and
(
instance
?RUNWAY
Runway
)
(
part
?RUNWAY ?AIRPORT)
(
length
?RUNWAY
(
MeasureFn
?LENGTH
Meter
))
(
greaterThan
?LENGTH 3047))))
Transportation.kif 1464-1474
オブジェクト
は
Airport
の
instance
では %n
VeryLongRunwayAirport
は
オブジェクト
の
attribute
では %n
オブジェクト
実数
オブジェクト
は
Runway
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
length
は
実数
の
Meter
(s) では
実数
は 3047 より
greater
では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1964-1975
地理的地域
は
地理的地域
の
instance
では %n
geographicSubregion
ElevationHighPointFn
地理的地域
and
地理的地域
elevation
ElevationHighPointFn
地理的地域
and
実数
の
測定単位
(s)
地理的地域
実数
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
ElevationHighPointFn
地理的地域
と
equal
では
elevation
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
greaterThan
?FRACTION 0.7))
Weather.kif 943-949
地域
は
地理的地域
の
instance
では %n
工程
は
OvercastWeather
の
instance
では %n
eventLocated
工程
and
地域
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.7 より
greater
では %n
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThan
?FRACTION 0.7))))
Weather.kif 933-941
地域
は
地理的地域
の
instance
では %n
工程
は
OvercastWeather
の
instance
では %n
eventLocated
工程
and
地域
非負実数
cloudCoverFraction
地域
and
非負実数
非負実数
は 0.7 より
greater
では %n
(=>
(
and
(
instance
?Account
PersonalAccount
)
(
currentInterestRate
?Account ?Date ?Rate)
(
primeInterestRate
?Date ?PrimeRate))
(
greaterThan
?Rate ?PrimeRate))
FinancialOntology.kif 606-611
FinancialAccount
は
PersonalAccount
の
instance
では %n
currentInterestRate
FinancialAccount
,
日
and
実数
primeInterestRate
日
and
実数
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?B
Braking
)
(
patient
?B ?O))
(
and
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A1
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?B))
(
equal
(
MeasureFn
?A2
MilesPerHour
)
(
AccelerationFn
?FQ ?T ?O ?D)))
(
greaterThan
?A1 ?A2)))
Cars.kif 1252-1267
工程
は
Braking
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
実数
の
MilesPerHour
(s) は
AccelerationFn
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
と
equal
では %n は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
実数
の
MilesPerHour
(s) は
AccelerationFn
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
と
equal
では %n は
工程
の
time
の existence の すぐ
after
の
during
holds %n{ない}
実数
は
実数
より
greater
では %n
(=>
(
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
?C
Cream
)
(
part
?C ?O1)
(
instance
?O1
ButterFat
)
(
measure
?O1
(
MeasureFn
?X
Gram
))
(
instance
?M
Milk
)
(
part
?M ?O2)
(
instance
?O2
ButterFat
)
(
measure
?O2
(
MeasureFn
?Y
Gram
)))
(
greaterThan
?X ?Y))
Food.kif 3124-3136
オブジェクト
は
Cream
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
オブジェクト
は
Milk
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
の
measure
は
実数
の
Gram
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?CITY
AmericanCity
)
(
part
?CITY
California
)
(
not
(
equal
?CITY
LosAngelesCalifornia
)))
(
greaterThan
(
CardinalityFn
(
ResidentFn
LosAngelesCalifornia
))
(
CardinalityFn
(
ResidentFn
?CITY))))
CountriesAndRegions.kif 812-817
地政学的地域
は
AmericanCity
の
instance
では %n
地政学的地域
は
California
の
part
では %n
地政学的地域
は
LosAngelesCalifornia
と
equal
では
ResidentFn
LosAngelesCalifornia
の
instances
の数 は
ResidentFn
地政学的地域
の
instances
の数 より
greater
では %n
(=>
(
and
(
instance
?CPR
CPR
)
(
instance
?C
Compressing
)
(
path
?C ?P)
(
subProcess
?C ?CPR)
(
length
?P
(
MeasureFn
?L
Centimeter
)))
(
and
(
greaterThan
?L 5.0)
(
lessThan
?L 6.0)))
Medicine.kif 620-630
工程
は
CPR
の
instance
では %n
motion
は
Compressing
の
instance
では %n
オブジェクト
は
motion
が 発生する
path
では %n
motion
は
工程
% の
subprocess
では %n
オブジェクト
の
length
は
実数
の
Centimeter
(s) では
実数
は 5.0 より
greater
では %n
実数
は 6.0 より
less
では %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