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
Processus
est une
instance
de
ViewItemRequest
processus
est une
instance
de
AccessingWebPage
objet corpusculaire
est une
instance
de
ViewItemPage
AutonomousAgent
est une
instance
de
AutonomousAgent
WebListing
est une
instance
de
promouvoir
processus
est un
sous
-processus de
processus
objet corpusculaire
est un
composant
de
WebListing
processus
aboutit
�
objet corpusculaire
processus
est un
agent
de
AutonomousAgent
viewedListing
AutonomousAgent
and
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
Processus
est une
instance
de
Tornado
processus
est une
instance
de
Rotating
objet
est une
instance
de
Air
processus
RAN est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
processus
RAN est un
sous
-processus de
processus
objet
est un
patient
de
processus
RAN les entit�es dans le processus
processus
RAN
bougent
Horizontal
objet
objet en une partie
,
processus
OP,
objet en une partie
,
objet en une partie
and
objet en une partie
objet
est une
instance
de
secteur g�ographique
eventLocated
processus
and
objet
objet en une partie
est une
partie
de
objet
ConeSegment
est un
attribut
de
objet en une partie
le
dessus
de
objet en une partie
est
processus
OP l'
arri
�re de
objet en une partie
est
objet en une partie
objet en une partie
est une
instance
de
Cloud
l'
arri
�re de
objet en une partie
est
objet en une partie
processus
OP
rencontre
objet en une partie
objet en une partie
rencontre
objet
(=>
(
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
Processus
est une
instance
de
MultivariateTest
Experimenting
est un
sous
-processus de
processus
Experimenting
est un
sous
-processus de
processus
Experimenting
est une
instance
de
Experimenting
Experimenting
est une
instance
de
Experimenting
processus
est une
instance
de
processus
processus
est une
instance
de
processus
experimentalVariableProcess
Experimenting
and
processus
experimentalVariableProcess
Experimenting
and
processus
processus
processus
est une
instance
de
processus
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
processus
est
processus
(=>
(
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
Processus
est une
instance
de
transporter
processus
est un
sous
-processus de
processus
processus
est une
instance
de
conduire
objet
est un
instrument
pour
processus
objet
est une
instance
de
v�hicule de transport
objet
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
NetworkCommunicationFn
BluetoothNetwork
irradier
est une
instance
de
RadiatingElectromagnetic
irradier
est un
sous
-processus de
processus
carrierFrequency
irradier
and
nombre r�el
1
billion
Hertz
s (s)
nombre r�el
est
plus
grand
que 2.4
nombre r�el
est
moins
que 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
paidRoomAmenity
HotelUnit
and
physique
physique
est une
sous
-classe de
processus
TemporaryResidence
est une
instance
de
HotelUnit
stays
humain
and
TemporaryResidence
TemporaryResidence
est un
appartenir
�
AutonomousAgent
humain
est un
patient
de
processus
processus
est une
instance
de
physique
processus
est une
instance
de
physique
processus
est un
sous
-processus de
processus
processus
est
situ
� �
TemporaryResidence
processus
RICE
unit� de mesure
price
processus
,
processus
RICE
unit� de mesure
(s) and
humain
unit� de mesure
est une
instance
de
UnitOfCurrency
processus
RICE est
plus
grand
que 0
(=>
(
and
(
subProcess
?S1 ?P)
(
subProcess
?S2 ?P))
(
relatedEvent
?S1 ?S2))
Merge.kif 3770-3774
Processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
relatedEvent
processus
and
processus
(=>
(
subProcess
?SUBPROC ?PROC)
(
temporalPart
(
WhenFn
?SUBPROC)
(
WhenFn
?PROC)))
Merge.kif 10107-10109
Processus
est un
sous
-processus de
processus
temps
d'existence de
processus
est une
partie
de
temps
d'existence de
processus
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