subProcess
(=>
(
and
(
instance
?REQUEST
ViewItemRequest
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
ViewItemPage
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?LISTING
Advertising
)
(
subProcess
?ACCESSING ?REQUEST)
(
component
?PAGE ?LISTING)
(
destination
?ACCESSING ?PAGE)
(
agent
?ACCESSING ?AGENT))
(
viewedListing
?AGENT ?LISTING))
UXExperimentalTerms.kif 1570-1581
如果
过程
是
ViewItemRequest
的
instance
和
另一个 过程
是
AccessingWebPage
的
instance
和
躯体性物体
是
ViewItemPage
的
instance
和
施事体
是
施事体
的
instance
和
WebListing
是
广告
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 躯体性物体
是
那个 WebListing
的
component
和
那个 另外 过程
在
那个 躯体性物体
结束 和
那个 施事体
是
那个 另外 过程
的
agent
,
然后
那个 施事体
viewed
那个 WebListing
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 1651-1672
如果
过程
是
龙卷风
的
instance
和
另一个 过程
是
旋转
的
instance
和
客体
是
空气
的
instance
和
那个 过程
RAN 是
易位
的
instance
和
那个 另外 过程
%n是
那个 过程
的
subProcess
和
那个 过程
RAN%n是
那个 另外 过程
的
subProcess
和
那个 客体
是
那个 过程
RAN 的
patient
和
那个 过程
RAN 过程的实体 向
横
,
然后 有存在
另一个 客体
,
自身连接物体
,, ,
那个 过程
OP,, ,
第三 自身连接物体
,, ,
第四 自身连接物体
, and 和
第五 自身连接物体
这样
那个 另外 客体
是
地理区域
的
instance
和
那个 过程
是
located
在
那个 另外 客体
和
那个 自身连接物体
是
那个 客体
的
part
和
ConeSegment
是
那个 自身连接物体
的
attribute
和
那个 过程
OP 是
那个 自身连接物体
的
top
和
那个 自身连接物体
的
bottom
是
那个 第三 自身连接物体
和
那个 第四 自身连接物体
是
云
的
instance
和
那个 第四 自身连接物体
的
bottom
是
那个 第五 自身连接物体
和
那个 过程
OP 接上
那个 第五 自身连接物体
和
那个 第三 自身连接物体
接上
那个 另外 客体
(=>
(
and
(
instance
?TEST
MultivariateTest
)
(
subProcess
?EXPERIMENT1 ?TEST)
(
subProcess
?EXPERIMENT2 ?TEST)
(
instance
?EXPERIMENT1
Experimenting
)
(
instance
?EXPERIMENT2
Experimenting
)
(
instance
?VARIABLE1
Process
)
(
instance
?VARIABLE2
Process
)
(
experimentalVariableProcess
?EXPERIMENT1 ?VARIABLE1)
(
experimentalVariableProcess
?EXPERIMENT2 ?VARIABLE2))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
subProcess
?VARIABLE1 ?PROCESS)
(
subProcess
?VARIABLE2 ?PROCESS)
(
not
(
equal
?VARIABLE1 ?VARIABLE2)))))
UXExperimentalTerms.kif 4501-4518
如果
过程
是
MultivariateTest
的
instance
和
试验
%n是
那个 过程
的
subProcess
和
另一个 试验
%n是
那个 过程
的
subProcess
和
那个 试验
是
试验
的
instance
和
那个 另外 试验
是
试验
的
instance
和
另一个 过程
是
过程
的
instance
和
第三 过程
是
过程
的
instance
和
那个 另外 过程
在
那个 试验
的
process
和
那个 第三 过程
在
那个 另外 试验
的
process
,
然后 有存在
第四 过程
这样
那个 第四 过程
是
过程
的
instance
和
那个 另外 过程
%n是
那个 第四 过程
的
subProcess
和
那个 第三 过程
%n是
那个 第四 过程
的
subProcess
和
那个 另外 过程
不
equal
那个 第三 过程
(=>
(
and
(
instance
?TRANSPORT
Transportation
)
(
subProcess
?TRANSPORT ?DRIVE)
(
instance
?DRIVE
Driving
)
(
instrument
?TRANSPORT ?VEHICLE)
(
instance
?VEHICLE
TransportationDevice
))
(
patient
?DRIVE ?VEHICLE))
Mid-level-ontology.kif 23556-23563
如果
过程
是
运输
的
instance
和
那个 过程
%n是
实体
subProcess
和
另一个 过程
是
驾驶
的
instance
和
客体
是导致
那个 过程
的
instrument
和
那个 客体
是
运输设备
的
instance
,
然后
那个 客体
是
那个 另外 过程
的
patient
(=>
(
and
(
instance
?WN
(
NetworkCommunicationFn
BluetoothNetwork
))
(
instance
?R
RadiatingElectromagnetic
)
(
subProcess
?R ?WN)
(
carrierFrequency
?R
(
MeasureFn
?W
(
GigaFn
Hertz
))))
(
and
(
greaterThan
?W 2.4)
(
lessThan
?W 2.485)))
ComputingBrands.kif 1579-1588
如果
过程
是 通信透过
Bluetooth 蓝芽网路
的
instance
和
辐射
是
辐射电磁
的
instance
和
那个 辐射
%n是
那个 过程
的
subProcess
和
那个 辐射
载波的频率是
实数
赫兹
的十亿倍 ,
然后
那个 实数
是
greaterThan
2.4 和
那个 实数
是
lessThan
2.485
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
如果
有点 HotelUnit
的 承租人 能
pay
去使用
有点 物理
和
有点 物理
是
过程
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
那个 人类
是
过程
的
patient
和
那个 过程
是
那个 有点 物理
的
instance
或
另一个 过程
是
那个 有点 物理
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
是
located
在
那个 暂住
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 过程
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
0
(=>
(
and
(
subProcess
?S1 ?P)
(
subProcess
?S2 ?P))
(
relatedEvent
?S1 ?S2))
Merge.kif 3770-3774
如果
过程
%n是
实体
subProcess
和
另一个 过程
%n是
那个 实体
subProcess
,
然后
那个 另外 过程
是
那个 过程
的
related
事件
(=>
(
subProcess
?SUBPROC ?PROC)
(
temporalPart
(
WhenFn
?SUBPROC)
(
WhenFn
?PROC)))
Merge.kif 10107-10109
如果
过程
%n是
实体
subProcess
,
然后
那个 过程
出现 的
time
时段 是
另一个 过程
出现 的
time
时段 的一
part
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