MultiplicationFn
(=>
(
multiplicativeFactor
?N1 ?N2)
(
exists
(?I)
(
and
(
instance
?I
Integer
)
(
equal
?N2
(
MultiplicationFn
?N1 ?I)))))
Merge.kif 4899-4904
multiplicativeFactor
整数
and
整数
実数
実数
は
整数
の
instance
では %n
整数
は
整数
+
実数
と
equal
では %n
(=>
(
rainfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(
and
(
instance
?RAIN
Raining
)
(
eventLocated
?RAIN ?AREA)
(
during
(
WhenFn
?RAIN) ?TIME)
(
instance
?CLTN
Collection
)
(
objectTransferred
?RAIN ?CLTN)
(
instance
?R
Water
)
(
member
?R ?CLTN)
(
instance
?BUCKET
Container
)
(
bottom
?BOTTOM ?BUCKET)
(
attribute
?BOTTOM
Flat
)
(
located
?BUCKET ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
attribute
?BUCKET
ContainerEmpty
))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?CLTN ?BUCKET)
(
top
?TOP ?CLTN)
(
depth
?TOP ?BOTTOM ?RAINFALL)
(
equal
?RAINFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 2830-2855
rainfallIntensity
地理的地域
,
時間間隔
and
関数量
移動
コレクション
,
物理
,
自己接続オブジェクト
,
エンティティー
,
自己接続オブジェクト
and
移動
FALL
移動
は
Raining
の
instance
では %n
eventLocated
移動
and
地理的地域
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
コレクション
は
コレクション
の
instance
では %n
objectTransferred
移動
and
コレクション
物理
は
水
の
instance
では %n
物理
は
コレクション
の
member
では %n
自己接続オブジェクト
は
Container
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
Flat
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
地理的地域
に
located
して %n
ContainerEmpty
は
自己接続オブジェクト
の
attribute
では %n は
時間間隔
の
beginning
の
during
holds %n{ない}
コレクション
は
自己接続オブジェクト
に
located
して %n
コレクション
の
top
は
エンティティー
では
depth
エンティティー
,
自己接続オブジェクト
and
移動
FALL
移動
FALL は
時間間隔
+
関数量
と
equal
では %n は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
snowfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
(
and
(
instance
?PROCESS
Snowing
)
(
eventLocated
?PROCESS ?AREA)
(
during
(
WhenFn
?PROCESS) ?TIME)
(
instance
?STUFF
Snow
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?BOARD
BoardOrBlock
)
(
bottom
?BOTTOM ?BOARD)
(
attribute
?BOTTOM
Flat
)
(
located
?BOARD ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
not
(
exists
(?X)
(
and
(
instance
?X
Object
)
(
located
?X ?BOARD)))))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?STUFF ?BOARD)
(
top
?TOP ?STUFF)
(
depth
?TOP ?BOTTOM ?SNOWFALL)
(
equal
?SNOWFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 3035-3062
snowfallIntensity
地理的地域
,
時間間隔
and
関数量
移動
オブジェクト
,
自己接続オブジェクト
,
エンティティー
,
自己接続オブジェクト
and
エンティティー
移動
は
Snowing
の
instance
では %n
eventLocated
移動
and
地理的地域
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
Snow
の
instance
では %n
objectTransferred
移動
and
オブジェクト
自己接続オブジェクト
は
BoardOrBlock
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
Flat
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
地理的地域
に
located
して %n
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
自己接続オブジェクト
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
自己接続オブジェクト
に
located
して %n
オブジェクト
の
top
は
エンティティー
では
depth
エンティティー
,
自己接続オブジェクト
and
エンティティー
エンティティー
は
時間間隔
+
関数量
と
equal
では %n は
時間間隔
の
end
の
during
holds %n{ない}
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