Object
(=>
(
instance
?SHIP
CombinationBulkOilCarrierShip
)
(
cargoType
?SHIP
Object
))
Transportation.kif 2400-2402
例
TransportationDevice
and
CombinationBulkOilCarrierShip
Object
是
TransportationDevice
的
cargo
種類
(=>
(
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
例
Process
and
Soaking
Object
Entity
例
Entity
and
Object
患者
Process
and
Entity
例
Object
and
淡水
資源
Process
and
Object
持有期間
Process
and
方位
Entity
,
Object
and
Surrounded
(=>
(
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
and
易位
Object
Entity
and
Object
例
Object
and
Object
例
Entity
and
Object
例
Object
and
Object
路徑
Motion
and
Object
起源
Motion
and
Object
目的地
Motion
and
Entity
(=>
(
instance
?T
Truck
)
(
exists
(?L)
(
and
(
subclass
?L
Object
)
(
cargoType
?T ?L))))
Transportation.kif 2019-2024
例
TransportationDevice
and
卡車
Object
子類
Object
and
Object
Object
是
TransportationDevice
的
cargo
種類
(=>
(
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
例
Physical
and
售貨機
有目的
Physical
and
entity
entity
and
entity
例
entity
and
Vending
例
entity
and
Human
例
entity
and
Object
objectTransferred
entity
and
entity
儀器
entity
and
Physical
起源
entity
and
Physical
例
entity
and
貨幣
目的地
entity
and
entity
(=>
(
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
例
Physical
and
BusinessCenter
有目的
Physical
and
entity
entity
and
entity
attribute
entity
and
商務人士
例
entity
and
工作的
例
entity
and
Object
位於
entity
and
Physical
agent
entity
and
entity
儀器
entity
and
entity
資源
entity
and
entity
患者
entity
and
entity
(=>
(
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
例
Physical
and
Protecting
有目的
Physical
and
entity
entity
,
entity
and
entity
ARM
例
entity
and
Object
患者
Physical
and
Object
子類
entity
ARM and
卡帕
entity
and
例
entity
and
犯罪行為
例
entity
and
Damaging
持有期間
entity
and
患者
entity
and
entity
持有期間
entity
and
患者
Physical
and
entity
防止
Physical
and
entity
ARM
Physical
hinders
entity
ARM
(=>
(
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
例
Process
and
Sculpting
Process
Entity
例
Entity
and
Object
患者
Process
and
Entity
例
Process
and
ShapeChange
子過程
Process
and
Process
患者
Process
and
Entity
(=>
(
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
例
Object
and
WetBar
Object
Object
例
Object
and
洗手盆
部分
Object
and
Object
例
Object
and
Object
attribute
Object
and
平面
有目的
Object
and
entity
entity
例
entity
and
Making
結果
entity
and
entity
例
entity
and
已準備食物
例
entity
and
Beverage
entity
是
located
在
Object
部分
Object
and
Object
(=>
(
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
Object
,
Object
and
RealNumber
例
Object
and
Object
attribute
Object
and
又長又瘦
例
Object
and
Object
attribute
Object
and
又長又瘦
連接的
Object
and
Object
等於
Object
and
Object
(=>
(
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
snow
的下降
rate
在
GeographicArea
期間
TimeInterval
是
FunctionQuantity
Transfer
Object
,
SelfConnectedObject
,
entity
,
SelfConnectedObject
and
entity
例
Transfer
and
下雪
Transfer
是
located
在
GeographicArea
期間
何時
Transfer
and
TimeInterval
例
Object
and
Snow
objectTransferred
Transfer
and
Object
例
SelfConnectedObject
and
板或塊
底部
SelfConnectedObject
and
SelfConnectedObject
attribute
SelfConnectedObject
and
平面
位於
SelfConnectedObject
and
GeographicArea
持有期間
開始
TimeInterval
and
entity
例
entity
and
Object
位於
entity
and
SelfConnectedObject
持有期間
結束
TimeInterval
and
位於
Object
and
SelfConnectedObject
上
entity
and
Object
對於
SelfConnectedObject
從
entity
的
depth
是
entity
等於
entity
and
乘法
TimeInterval
and
FunctionQuantity
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