Removing
(移除)
(=>
(
instance
?S
Sieve
)
(
hasPurpose
?S
(
exists
(?REMOVE ?MIX ?SUB ?HOLE ?A)
(
and
(
instance
?REMOVE
Removing
)
(
instance
?MIX
Mixture
)
(
instance
?SUB
Substance
)
(
part
?SUB ?MIX)
(
patient
?REMOVE ?SUB)
(
part
?HOLE ?S)
(
instrument
?REMOVE ?HOLE)
(
instance
?A
Human
)
(
agent
?REMOVE ?A)
(
not
(
desires
?A ?SUB))))))
Mid-level-ontology.kif 4528-4543
如果
物理
是
筲箕
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
那个 物理
UB,, ,
第四 实体
, and 和
第五 实体
这样
那个 实体
是
移除
的
instance
和
那个 另外 实体
是
混合物
的
instance
和
那个 物理
UB 是
物质
的
instance
和
那个 物理
UB 是
那个 另外 实体
的
part
和
那个 物理
UB 是
那个 实体
的
patient
和
那个 第四 实体
是
那个 物理
的
part
和
那个 第四 实体
是导致
那个 实体
的
instrument
和
那个 第五 实体
是
人类
的
instance
和
那个 第五 实体
是
那个 实体
的
agent
和
那个 第五 实体
doesn't
desires
那个 物理
UB
(=>
(
instance
?S
Strainer
)
(
hasPurpose
?S
(
exists
(?MIX ?SUB ?LIQUID ?REMOVE)
(
and
(
instance
?MIX
Mixture
)
(
instance
?SUB
Substance
)
(
instance
?LIQUID
Substance
)
(
part
?SUB ?MIX)
(
attribute
?SUB
Solid
)
(
instance
?REMOVE
Removing
)
(
part
?LIQUID ?MIX)
(
attribute
?LIQUID
Liquid
)
(
patient
?REMOVE ?SUB)
(
result
?REMOVE ?LIQUID)
(
instrument
?REMOVE ?S)))))
Mid-level-ontology.kif 4549-4564
如果
物理
是
滤器
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
那个 物理
UB,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
混合物
的
instance
和
那个 物理
UB 是
物质
的
instance
和
那个 第三 实体
是
物质
的
instance
和
那个 物理
UB 是
那个 实体
的
part
和
固体
是
那个 物理
UB 的
attribute
和
那个 第四 实体
是
移除
的
instance
和
那个 第三 实体
是
那个 实体
的
part
和
液体
是
那个 第三 实体
的
attribute
和
那个 物理
UB 是
那个 第四 实体
的
patient
和
那个 第三 实体
是
那个 第四 实体
的
result
和
那个 物理
是导致
那个 第四 实体
的
instrument
(=>
(
instance
?SUB
Substituting
)
(
exists
(?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
(
and
(
instance
?PUT
Putting
)
(
instance
?REMOVE
Removing
)
(
subProcess
?PUT ?SUB)
(
subProcess
?REMOVE ?SUB)
(
patient
?REMOVE ?OBJ1)
(
origin
?REMOVE ?PLACE)
(
patient
?PUT ?OBJ2)
(
destination
?PUT ?PLACE)
(
not
(
equal
?OBJ1 ?OBJ2)))))
Merge.kif 11476-11488
如果
过程
是
代替
的
instance
,
然后 有存在
另一个 过程
,
第三 过程
,, ,
实体
,, ,
另一个 实体
, and 和
客体
这样
那个 另外 过程
是
放
的
instance
和
那个 第三 过程
是
移除
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 第三 过程
%n是
那个 过程
的
subProcess
和
那个 实体
是
那个 第三 过程
的
patient
和
那个 客体
是
那个 第三 过程
的源头 和
那个 另外 实体
是
那个 另外 过程
的
patient
和
那个 另外 过程
在
那个 客体
结束 和
那个 实体
不
equal
那个 另外 实体
(=>
(
instance
?TC
TireChanger
)
(
hasPurpose
?TC
(
exists
(?RE ?T ?R)
(
and
(
instance
?RE
Removing
)
(
instance
?T
Tire
)
(
instance
?R
WheelRim
)
(
origin
?RE ?R)
(
objectTransferred
?RE ?T)
(
instrument
?RE ?TC)))))
Cars.kif 4895-4905
如果
物理
是
TireChanger
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
移除
的
instance
和
那个 另外 实体
是
Tire
的
instance
和
那个 第三 实体
是
WheelRim
的
instance
和
那个 第三 实体
是
那个 实体
的源头 和
objectTransferred
那个 实体
and
那个 另外 实体
和
那个 物理
是导致
那个 实体
的
instrument
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