Object
(オブジェクト)
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Object
))
Transportation.kif 2400-2402
輸送機
は
CombinationBulkOilCarrierShip
の
instance
では %n
cargoType
輸送機
and
オブジェクト
(=>
(
instance
?SOAK
Soaking
)
(
exists
(?WATER ?OBJ)
(
and
(
instance
?OBJ
Object
)
(
patient
?SOAK ?OBJ)
(
instance
?WATER
FreshWater
)
(
resource
?SOAK ?WATER)
(
holdsDuring
?SOAK
(
orientation
?OBJ ?WATER
Surrounded
)))))
Mid-level-ontology.kif 26527-26536
工程
は
Soaking
の
instance
では %n
オブジェクト
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
FreshWater
の
instance
では %n
オブジェクト
は
工程
の
resource
では %n
エンティティー
は
Surrounded
対
オブジェクト
では %n は
工程
の
during
holds %n{ない}
(=>
(
instance
?T
Translocation
)
(
exists
(?O ?D ?P)
(
and
(
instance
?O
Object
)
(
instance
?D
Object
)
(
instance
?P
Object
)
(
path
?T ?P)
(
origin
?T ?O)
(
destination
?T ?D))))
Merge.kif 11569-11578
Motion
は
Translocation
の
instance
では %n
オブジェクト
エンティティー
and
オブジェクト
オブジェクト
は
オブジェクト
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
motion
が 発生する
path
では %n
motion
は
オブジェクト
から
originate
s %n{ない}
motion
は
エンティティー
に
end
s %n{ない}
(=>
(
instance
?T
Truck
)
(
exists
(?L)
(
and
(
subclass
?L
Object
)
(
cargoType
?T ?L))))
Transportation.kif 2019-2024
輸送機
は
Truck
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
subclass
では %n
cargoType
輸送機
and
オブジェクト
(=>
(
instance
?VM
VendingMachine
)
(
hasPurpose
?VM
(
exists
(?H ?O ?V)
(
and
(
instance
?V
Vending
)
(
instance
?H
Human
)
(
instance
?O
Object
)
(
objectTransferred
?V ?O)
(
instrument
?V ?VM)
(
origin
?V ?VM)
(
not
(
instance
?O
Currency
))
(
destination
?V ?H)))))
Mid-level-ontology.kif 1959-1972
物理
は
VendingMachine
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
Vending
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
物理
から
originate
s %n{ない}
エンティティー
は
Currency
の
instance
では
エンティティー
は
エンティティー
に
end
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?X
BusinessCenter
)
(
hasPurpose
?X
(
exists
(?PERSON ?WORK ?OBJ)
(
and
(
attribute
?PERSON
BusinessPerson
)
(
instance
?WORK
Working
)
(
instance
?OBJ
Object
)
(
located
?OBJ ?X)
(
agent
?WORK ?PERSON)
(
or
(
instrument
?WORK ?OBJ)
(
resource
?WORK ?OBJ)
(
patient
?WORK ?OBJ))))))
Hotel.kif 1655-1668
物理
は
BusinessCenter
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
BusinessPerson
は
エンティティー
の
attribute
では %n
エンティティー
は
Working
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
物理
に
located
して %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
resource
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
instance
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18421-18442
物理
は
Protecting
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
ARM
エンティティー
は
オブジェクト
の
instance
では %n
オブジェクト
は
物理
の
patient
では %n
エンティティー
ARM は
エンティティー
で記述される
class
の
subclass
では %n
物理
は
エンティティー
ARM の出来事を
prevent
s %n{ない}
hinders
物理
and
エンティティー
ARM の 目的 %n{ない}
(=>
(
instance
?X
Sculpting
)
(
exists
(?SC ?OBJ)
(
and
(
instance
?OBJ
Object
)
(
patient
?X ?OBJ)
(
instance
?SC
ShapeChange
)
(
subProcess
?SC ?X)
(
patient
?SC ?OBJ))))
Mid-level-ontology.kif 3280-3288
工程
は
Sculpting
の
instance
では %n
工程
エンティティー
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
形状変化
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
instance
?X
WetBar
)
(
exists
(?SINK ?OBJ)
(
and
(
instance
?SINK
WashBasin
)
(
part
?SINK ?X)
(
instance
?OBJ
Object
)
(
attribute
?OBJ
Flat
)
(
hasPurpose
?OBJ
(
exists
(?PREP ?FOOD)
(
and
(
instance
?PREP
Making
)
(
result
?PREP ?FOOD)
(
or
(
instance
?FOOD
PreparedFood
)
(
instance
?FOOD
Beverage
))
(
eventLocated
?PREP ?OBJ))))
(
part
?OBJ ?X))))
Food.kif 331-348
オブジェクト
は
WetBar
の
instance
では %n
オブジェクト
オブジェクト
オブジェクト
は
WashBasin
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
Flat
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
作る
の
instance
では %n
エンティティー
は
エンティティー
の
result
では %n
エンティティー
は
PreparedFood
の
instance
では %n
エンティティー
は
飲料
の
instance
では %n
eventLocated
エンティティー
and
オブジェクト
の 目的 %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
relativeAngle
?L1 ?L2 ?M)
(
and
(
instance
?L1
Object
)
(
attribute
?L1
LongAndThin
)
(
instance
?L2
Object
)
(
attribute
?L2
LongAndThin
)
(
connected
?L1 ?L2)
(
not
(
equal
?L1 ?L2))))
Merge.kif 17894-17903
relativeAngle
オブジェクト
,
オブジェクト
and
実数
オブジェクト
は
オブジェクト
の
instance
では %n
LongAndThin
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
LongAndThin
は
オブジェクト
の
attribute
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
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