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
例
Process
and
ViewItemRequest
例
Process
and
AccessingWebPage
例
CorpuscularObject
and
ViewItemPage
例
AutonomousAgent
and
AutonomousAgent
例
WebListing
and
Advertising
子過程
Process
and
Process
零件
CorpuscularObject
and
WebListing
目的地
Process
and
CorpuscularObject
agent
Process
and
AutonomousAgent
AutonomousAgent
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
例
Process
and
龍捲風
例
Process
and
旋轉
例
Object
and
空氣
例
Process
RAN and
易位
子過程
Process
and
Process
子過程
Process
RAN and
Process
患者
Process
RAN and
Object
方向
Process
RAN and
橫
Object
SelfConnectedObject
,
Process
OP,
SelfConnectedObject
,
SelfConnectedObject
and
SelfConnectedObject
例
Object
and
GeographicArea
Process
是
located
在
Object
部分
SelfConnectedObject
and
Object
attribute
SelfConnectedObject
and
ConeSegment
上
Process
OP and
SelfConnectedObject
底部
SelfConnectedObject
and
SelfConnectedObject
例
SelfConnectedObject
and
雲
底部
SelfConnectedObject
and
SelfConnectedObject
空間的符合
Process
OP and
SelfConnectedObject
空間的符合
SelfConnectedObject
and
Object
(=>
(
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
例
Process
and
MultivariateTest
子過程
試驗
and
Process
子過程
試驗
and
Process
例
試驗
and
試驗
例
試驗
and
試驗
例
Process
and
Process
例
Process
and
Process
Process
在
試驗
的
process
Process
在
試驗
的
process
Process
例
Process
and
Process
子過程
Process
and
Process
子過程
Process
and
Process
等於
Process
and
Process
(=>
(
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
例
Process
and
Transportation
子過程
Process
and
Process
例
Process
and
Driving
儀器
Process
and
Object
例
Object
and
TransportationDevice
患者
Process
and
Object
(=>
(
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
例
Process
and 通信透過
藍芽網路
例
Radiating
and
輻射電磁
子過程
Radiating
and
Process
Radiating
載波的頻率是
測量
RealNumber
and
千兆
赫茲
比較多
RealNumber
and 2.4
少於
RealNumber
and 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
去使用
Physical
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
RICE
UnitOfMeasure
Process
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 0
(=>
(
and
(
subProcess
?S1 ?P)
(
subProcess
?S2 ?P))
(
relatedEvent
?S1 ?S2))
Merge.kif 3770-3774
子過程
Process
and
Process
子過程
Process
and
Process
Process
是
Process
的
related
事件
(=>
(
subProcess
?SUBPROC ?PROC)
(
temporalPart
(
WhenFn
?SUBPROC)
(
WhenFn
?PROC)))
Merge.kif 10107-10109
子過程
Process
and
Process
時間部分
何時
Process
and
何時
Process
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