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 2890-2908
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 23915-23931
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 5918-5925
エンティティー
は
エンティティー
の
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 30650-30671
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 25710-25725
オブジェクト
は
クラス
の
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 9838-9860
オブジェクト
は
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
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 9899-9921
オブジェクト
は
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 17142-17163
工程
は
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 939-945
地域
は
地理的地域
の
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 929-937
地域
は
地理的地域
の
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
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10054-10077
オブジェクト
は
Antidiuretic
の
instance
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
時間間隔
は
時間間隔
と
equal
では
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
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