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
Processo
è un'
istanza
di
ViewItemRequest
Processo
è un'
istanza
di
AccessingWebPage
OggettoCorpuscolare
è un'
istanza
di
ViewItemPage
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebListing
è un'
istanza
di
Pubblicit�
Processo
è un
sottoprocesso
di
Processo
OggettoCorpuscolare
è un
componente
di
WebListing
Processo
fine
s in
OggettoCorpuscolare
Processo
è un
agente
di
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
Processo
è un'
istanza
di
Tornado
Processo
è un'
istanza
di
Rotating
Oggetto
è un'
istanza
di
Air
Processo
RAN è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
RAN è un
sottoprocesso
di
Processo
Oggetto
è un
paziente
di
Processo
RAN entità nel processo
Processo
RAN si stanno
muovendo
verso
Horizontal
Oggetto
OggettoIntegro
,
Processo
OP,
OggettoIntegro
,
OggettoIntegro
and
OggettoIntegro
Oggetto
è un'
istanza
di
AreaGeografica
eventLocated
Processo
and
Oggetto
OggettoIntegro
è una
parte
di
Oggetto
attribute
OggettoIntegro
and
ConeSegment
il
vertice
OggettoIntegro
è
Processo
OP il
fondo
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Cloud
il
fondo
di
OggettoIntegro
è
OggettoIntegro
Processo
OP
incontra
s
OggettoIntegro
OggettoIntegro
incontra
s
Oggetto
(=>
(
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
Processo
è un'
istanza
di
MultivariateTest
Experimenting
è un
sottoprocesso
di
Processo
Experimenting
è un
sottoprocesso
di
Processo
Experimenting
è un'
istanza
di
Experimenting
Experimenting
è un'
istanza
di
Experimenting
Processo
è un'
istanza
di
Processo
Processo
è un'
istanza
di
Processo
experimentalVariableProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
Processo
Processo
è un'
istanza
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
is
uguale
a
Processo
(=>
(
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
Processo
è un'
istanza
di
Trasporto
Processo
è un
sottoprocesso
di
Processo
Processo
è un'
istanza
di
Driving
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
MezzoDiTrasporto
Oggetto
è un
paziente
di
Processo
(=>
(
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
Processo
è un'
istanza
di
NetworkCommunicationFn
BluetoothNetwork
Radiazione
è un'
istanza
di
RadiatingElectromagnetic
Radiazione
è un
sottoprocesso
di
Processo
carrierFrequency
Radiazione
and
NumeroReale
1
miliardo
Hertz
s (s
NumeroReale
è
pi
ù grande di 2.4
NumeroReale
è
meno
di2.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
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
TemporaryResidence
è un'
istanza
di
HotelUnit
stays
Umano
and
TemporaryResidence
%è un
elemento
di %2
Umano
è un
paziente
di
Processo
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un'
istanza
di
Entit�Concreta
Processo
è un
sottoprocesso
di
Processo
Processo
è
localizzato
in
TemporaryResidence
Processo
RICE
Unit�DiMisura
price
Processo
,
Processo
RICE
Unit�DiMisura
(s and
Umano
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
Processo
RICE è
pi
ù grande di 0
(=>
(
and
(
subProcess
?S1 ?P)
(
subProcess
?S2 ?P))
(
relatedEvent
?S1 ?S2))
Merge.kif 3770-3774
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
relatedEvent
Processo
and
Processo
(=>
(
subProcess
?SUBPROC ?PROC)
(
temporalPart
(
WhenFn
?SUBPROC)
(
WhenFn
?PROC)))
Merge.kif 10107-10109
Processo
è un
sottoprocesso
di
Processo
il
tempo
di esistenza di
Processo
è una
parte
diil
tempo
di esistenza di
Processo
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