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
e' uma
instancia
de
ViewItemRequest
Processo
e' uma
instancia
de
AccessingWebPage
Objeto Corpuscular
e' uma
instancia
de
ViewItemPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebListing
e' uma
instancia
de
Promover
Processo
e' um
sub
-processo de
Processo
Objeto Corpuscular
e' um
componente
de
WebListing
Processo
termina
em
Objeto Corpuscular
Processo
e' um
agente
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
Processo
e' uma
instancia
de
Tornado
Processo
e' uma
instancia
de
Rotating
Objeto
e' uma
instancia
de
Air
Processo
RAN e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
Processo
RAN e' um
sub
-processo de
Processo
Objeto
e' um
patient
de
Processo
RAN as entidades no processo
Processo
RAN se
movem
Horizontal
Objeto
Objeto auto-conectado
,
Processo
OP,
Objeto auto-conectado
,
Objeto auto-conectado
and
Objeto auto-conectado
Objeto
e' uma
instancia
de
Area Geografica
eventLocated
Processo
and
Objeto
Objeto auto-conectado
e' uma &parte de
Objeto
ConeSegment
e' um
atributo
de
Objeto auto-conectado
o
topo
de
Objeto auto-conectado
e'
Processo
OP o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Cloud
o
fundo
de
Objeto auto-conectado
e'
Objeto auto-conectado
Processo
OP
encontra
Objeto auto-conectado
Objeto auto-conectado
encontra
Objeto
(=>
(
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
e' uma
instancia
de
MultivariateTest
Experimenting
e' um
sub
-processo de
Processo
Experimenting
e' um
sub
-processo de
Processo
Experimenting
e' uma
instancia
de
Experimenting
Experimenting
e' uma
instancia
de
Experimenting
Processo
e' uma
instancia
de
Processo
Processo
e' uma
instancia
de
Processo
experimentalVariableProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
Processo
Processo
e' uma
instancia
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e'
igual
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
e' uma
instancia
de
Transporte
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Dirigir
Objeto
e' um
instrumento
para
Processo
Objeto
e' uma
instancia
de
Veiculo de Transporte
Objeto
e' um
patient
de
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
e' uma
instancia
de
NetworkCommunicationFn
BluetoothNetwork
Irradiar
e' uma
instancia
de
RadiatingElectromagnetic
Irradiar
e' um
sub
-processo de
Processo
carrierFrequency
Irradiar
and
Numero Real
1
bilhao
Hertz
s (s)
Numero Real
e'
maior
que 2.4
Numero Real
e'
menos
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
Fisico
Fisico
e' uma
sub
-classe de
Processo
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Humano
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Fisico
Processo
e' uma
instancia
de
Fisico
Processo
e' um
sub
-processo de
Processo
Processo
e'
situado
em
TemporaryResidence
Processo
RICE
Unidade de Medida
price
Processo
,
Processo
RICE
Unidade de Medida
(s) and
Humano
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Processo
RICE e'
maior
que 0
(=>
(
and
(
subProcess
?S1 ?P)
(
subProcess
?S2 ?P))
(
relatedEvent
?S1 ?S2))
Merge.kif 3770-3774
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
relatedEvent
Processo
and
Processo
(=>
(
subProcess
?SUBPROC ?PROC)
(
temporalPart
(
WhenFn
?SUBPROC)
(
WhenFn
?PROC)))
Merge.kif 10107-10109
Processo
e' um
sub
-processo de
Processo
tempo
de existencia de
Processo
e' uma &parte de
tempo
de existencia de
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