Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
programRunning
Sigma KEE - programRunning
programRunning
appearance as argument number 1
(
documentation
programRunning
EnglishLanguage
"(
programRunning
?Process ?Program) means that the
ComputerProcess
?Process is executing the
ComputerProgram
?Program.")
QoSontology.kif 210-212
(
domain
programRunning
1
ComputerProcess
)
QoSontology.kif 208-208
O argumento numero 1 de
programRunning
e' uma
instancia
de
ComputerProcess
(
domain
programRunning
2
ComputerProgram
)
QoSontology.kif 209-209
O argumento numero 2 de
programRunning
e' uma
instancia
de
Programa de Computador
(
instance
programRunning
BinaryPredicate
)
QoSontology.kif 207-207
programRunning
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
ChineseLanguage
programRunning
"%2 %n 是 %1 的执行 program ")
domainEnglishFormat.kif 2071-2071
(
format
ChineseTraditionalLanguage
programRunning
"%2 %n 是 %1 的執行 program ")
domainEnglishFormat.kif 2070-2070
(
format
EnglishLanguage
programRunning
"%2 is %n a program running of %1")
domainEnglishFormat.kif 2069-2069
(
termFormat
ChineseLanguage
programRunning
"程序运行")
domainEnglishFormat.kif 47648-47648
(
termFormat
ChineseTraditionalLanguage
programRunning
"程序運行")
domainEnglishFormat.kif 47647-47647
(
termFormat
EnglishLanguage
programRunning
"program running")
domainEnglishFormat.kif 47646-47646
antecedent
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 989-992
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
Programa de Computador
tem um
atributo
de
Executable
(=>
(
and
(
instance
?A
AppleAppStore
)
(
programRunning
?P ?A)
(
computerRunning
?P ?C))
(
hasPurpose
?A
(
exists
(?D)
(
and
(
instance
?D
DownloadingOverNetwork
)
(
origin
?D ?C)))))
ComputingBrands.kif 1990-1999
Fisico
e' uma
instancia
de
AppleAppStore
programRunning
ComputerProcess
and
Fisico
computerRunning
ComputerProcess
and
Computer
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
DownloadingOverNetwork
Entidade
tem como
origem
Computer
(=>
(
and
(
instance
?FQ
ForceQuit
)
(
refers
?FQ ?P)
(
programRunning
?P ?PROG))
(
exists
(?A)
(
and
(
instance
?A
Abort
)
(
processAborted
?A ?P))))
ComputingBrands.kif 3042-3050
Entidade
e' uma
instancia
de
ForceQuit
Entidade
inclui uma
referencia
a
ComputerProcess
programRunning
ComputerProcess
and
ComputerProcess
ROG
Abort
Abort
e' uma
instancia
de
Abort
processAborted
Abort
and
ComputerProcess
(=>
(
and
(
instance
?Software
SoftwareSystem
)
(
instance
?Process
ComputerProcess
)
(
programRunning
?Process ?Software))
(
exists
(?Hardware)
(
and
(
instance
?Hardware
HardwareSystem
)
(
computerRunning
?Process ?Hardware))))
QoSontology.kif 299-307
Programa de Computador
e' uma
instancia
de
SoftwareSystem
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
Computer
Computer
e' uma
instancia
de
HardwareSystem
computerRunning
ComputerProcess
and
Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
programRunning
ComputerProcess
and
Programa de Computador
computerRunning
ComputerProcess
and
Computer
runsOn
Programa de Computador
and
Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
instance
?Program ?PC)
(
instance
?Computer ?CC)
(
computerRunning
?Process ?Computer))
(
canRunOn
?PC ?CC))
QoSontology.kif 357-363
programRunning
ComputerProcess
and
Programa de Computador
Programa de Computador
e' uma
instancia
de
Programa de Computador
Computer
e' uma
instancia
de
Computer
computerRunning
ComputerProcess
and
Computer
canRunOn
Programa de Computador
and
Computer
(=>
(
and
(
shutdownOf
?Shutdown ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Shutdown)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time2 ?Time1))))
QoSontology.kif 427-438
shutdownOf
ShutdownBlock
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
ShutdownBlock
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
ComputerProcess
Intervalo Temporal
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
startupOf
?Startup ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Startup)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time2))))
QoSontology.kif 387-398
startupOf
StartupBlock
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
StartupBlock
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
ComputerProcess
Intervalo Temporal
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
startupTimeDelay
?Application ?Delay)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Application)
(
equal
(
WhenFn
?Process1) ?Time1)
(
instance
?Process2
ComputerProcess
)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time)
(
meetsTemporally
?Time ?Time2))
(
duration
?Time ?Delay))
QoSontology.kif 660-670
startupTimeDelay
Programa de Computador
and
Duracao Temporal
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Fisico
e' uma
instancia
de
ComputerProcess
tempo
de existencia de
Fisico
e'
igual
a
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
ShutdownBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
finishes
?Time ?Time1)
(
equal
(
WhenFn
?Process2) ?Time2)
(
equal
(
BeginFn
?Time)
(
EndFn
?Time2))))
(
duration
?Time ?Delay))
QoSontology.kif 1270-1284
Intervalo Temporal
Intervalo Temporal
dependencyDelay
Programa de Computador
and
Duracao Temporal
dependencyType
Programa de Computador
and
ShutdownBlock
hasDependency
Programa de Computador
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
o
comeco
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
(=>
(
exists
(?Time1 ?Time2)
(
and
(
dependencyDelay
?Program1 ?Delay)
(
dependencyType
?Program1
StartupBlock
)
(
hasDependency
?Program1 ?Program2)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Program1)
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Program2)
(
equal
(
WhenFn
?Process2) ?Time2)
(
starts
?Time2 ?Time)
(
equal
(
WhenFn
?Process1) ?Time1)
(
equal
(
EndFn
?Time)
(
BeginFn
?Time1))))
(
duration
?Time ?Delay))
QoSontology.kif 1254-1268
Intervalo Temporal
Intervalo Temporal
dependencyDelay
Programa de Computador
and
Duracao Temporal
dependencyType
Programa de Computador
and
StartupBlock
hasDependency
Programa de Computador
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
comeca
em
Intervalo Temporal
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
comeco
de
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Duracao Temporal
(=>
(
programRunning
?Process ?Program)
(
exists
(?Computer)
(
runningOn
?Program ?Computer)))
QoSontology.kif 166-169
programRunning
ComputerProcess
and
Programa de Computador
Computer
runningOn
Programa de Computador
and
Computer
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardErrorDevice
?Process ?Device)))
QoSontology.kif 543-546
programRunning
ComputerProcess
and
Programa de Computador
ComputerOutputDevice
standardErrorDevice
ComputerProcess
and
ComputerOutputDevice
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardInputDevice
?Process ?Device)))
QoSontology.kif 509-512
programRunning
ComputerProcess
and
Programa de Computador
ComputerInputDevice
standardInputDevice
ComputerProcess
and
ComputerInputDevice
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardOutputDevice
?Process ?Device)))
QoSontology.kif 526-529
programRunning
ComputerProcess
and
Programa de Computador
ComputerOutputDevice
standardOutputDevice
ComputerProcess
and
ComputerOutputDevice
consequent
(=>
(
and
(
deviceOS
?C ?OS)
(
instance
?CI ?C)
(
instance
?OSI ?OS)
(
manufacturer
?C ?ORG))
(
desires
?ORG
(
and
(
programRunning
?PROC ?OSI)
(
computerRunning
?PROC ?CI))))
ComputingBrands.kif 734-743
deviceOS
Objeto
and
Computer
Objeto
I e' uma
instancia
de
Objeto
Computer
I e' uma
instancia
de
Computer
manufacturer
Objeto
and
Agente Cognitivo
Agente Cognitivo
deseja
programRunning
Entidade
and
Computer
I
computerRunning
Entidade
and
Objeto
I
(=>
(
and
(
shutdownOf
?Shutdown ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Shutdown)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time2 ?Time1))))
QoSontology.kif 427-438
shutdownOf
ShutdownBlock
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
ShutdownBlock
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
ComputerProcess
Intervalo Temporal
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
and
(
startupOf
?Startup ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Startup)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time2))))
QoSontology.kif 387-398
startupOf
StartupBlock
and
Programa de Computador
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
StartupBlock
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
ComputerProcess
Intervalo Temporal
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
tempo
de existencia de
ComputerProcess
e'
igual
a
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
exists
(?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
(
and
(
instance
?WEBPAGE
WebPage
)
(
subString
?WEBPAGE ?SITE)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?ACCESSING ?AGENT)
(
programRunning
?BPROC ?BROWSER)
(
causes
?BPROC ?ACCESSING)
(
destination
?ACCESSING ?WEBPAGE)
(
represents
?STRING ?AGENT))))
UXExperimentalTerms.kif 736-748
browserID
Identifier
,
WebBrowser
and
WebSite
Sequencia Simbolica
Processo
,
AutonomousAgent
and
ComputerProcess
Sequencia Simbolica
e' uma
instancia
de
WebPage
subString
Sequencia Simbolica
and
WebSite
Processo
e' uma
instancia
de
AccessingWebPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
programRunning
ComputerProcess
and
WebBrowser
ComputerProcess
causa
Processo
Processo
termina
em
Sequencia Simbolica
Identifier
define
AutonomousAgent
(=>
(
instance
?A
App
)
(
hasPurpose
?A
(
exists
(?A ?P ?C)
(
and
(
instance
?C
MobileCellPhone
)
(
instance
?P
ComputerProcess
)
(
programRunning
?P ?A)
(
computerRunning
?P ?C)))))
ComputingBrands.kif 1960-1968
Fisico
e' uma
instancia
de
App
Fisico
tem por
fim
Fisico
Entidade
and
Entidade
Entidade
e' uma
instancia
de
MobileCellPhone
Entidade
e' uma
instancia
de
ComputerProcess
programRunning
Entidade
and
Fisico
computerRunning
Entidade
and
Entidade
(=>
(
instance
?C
CalendaringProgram
)
(
hasPurpose
?C
(
exists
(?T ?P)
(
and
(
instance
?T
CalendarText
)
(
programRunning
?P ?C)
(
result
?P ?T)))))
ComputingBrands.kif 2320-2327
Fisico
e' uma
instancia
de
CalendaringProgram
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
CalendarText
programRunning
Entidade
and
Fisico
Entidade
e' o
resultado
de
Entidade
(=>
(
instance
?C
CameraProgram
)
(
hasPurpose
?C
(
exists
(?I ?P)
(
and
(
instance
?I
Image
)
(
programRunning
?P ?C)
(
patient
?P ?I)))))
ComputingBrands.kif 2341-2348
Fisico
e' uma
instancia
de
CameraProgram
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Image
programRunning
Entidade
and
Fisico
Entidade
e' um
patient
de
Entidade
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
ComputerProcess
e' uma
instancia
de
DHCPServer
Programa de Computador
Computer
Computer
e' uma
instancia
de
Computer
Programa de Computador
e' uma
instancia
de
DHCPProgram
computerRunning
ComputerProcess
and
Computer
programRunning
ComputerProcess
and
Programa de Computador
(=>
(
instance
?EP
EmailProgram
)
(
hasPurpose
?EP
(
exists
(?P ?E)
(
and
(
instance
?P
ComputerProcess
)
(
instance
?E
Emailing
)
(
instrument
?E ?P)
(
programRunning
?P ?EP)))))
ComputingBrands.kif 3120-3128
Fisico
e' uma
instancia
de
EmailProgram
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
Entidade
e' uma
instancia
de
Emailing
Entidade
e' um
instrumento
para
Entidade
programRunning
Entidade
and
Fisico
(=>
(
instance
?Feedback
Feedback
)
(
exists
(?RM ?Process ?Program ?Send)
(
and
(
rMProgramOf
?RM ?Program)
(
programRunning
?Process ?Program)
(
instance
?Send
DataTransfer
)
(
patient
?Send ?Feedback)
(
destination
?Send ?RM))))
QoSontology.kif 676-684
Entidade
e' uma
instancia
de
Feedback
ResourceManagementProgram
ComputerProcess
,
SoftwareSystem
and
Processo
rMProgramOf
ResourceManagementProgram
and
SoftwareSystem
programRunning
ComputerProcess
and
SoftwareSystem
Processo
e' uma
instancia
de
DataTransfer
Entidade
e' um
patient
de
Processo
Processo
termina
em
ResourceManagementProgram
(=>
(
instance
?G
GUIDock
)
(
exists
(?I ?P ?CP)
(
and
(
instance
?CP
ComputerProgram
)
(
programRunning
?P ?CP)
(
instance
?I
Icon
)
(
represents
?I ?P)
(
orientation
?I ?G
Inside
))))
ComputingBrands.kif 2544-2552
Objeto
e' uma
instancia
de
GUIDock
Objeto
ComputerProcess
and
Programa de Computador
Programa de Computador
e' uma
instancia
de
Programa de Computador
programRunning
ComputerProcess
and
Programa de Computador
Objeto
e' uma
instancia
de
Icone
Objeto
define
ComputerProcess
Objeto
e'
Inside
em relacao a
Objeto
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
ComputerProcess
e' uma
instancia
de
ComputerProcess
Computer
Programa de Computador
Computer
e' uma
instancia
de
Computer
computerRunning
ComputerProcess
and
Computer
Programa de Computador
e' uma
instancia
de
Programa de Computador
programRunning
ComputerProcess
and
Programa de Computador
(=>
(
instance
?Process
Multitasking
)
(
exists
(?Program1 ?Program2)
(
and
(
programRunning
?Process ?Program1)
(
programRunning
?Process ?Program2)
(
not
(
equal
?Program1 ?Program2)))))
QoSontology.kif 1785-1792
ComputerProcess
e' uma
instancia
de
Multitasking
Programa de Computador
Programa de Computador
programRunning
ComputerProcess
and
Programa de Computador
programRunning
ComputerProcess
and
Programa de Computador
Programa de Computador
e'
igual
a
Programa de Computador
(=>
(
instance
?RM
RMStartApplication
)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
instance
?Application
ComputerProgram
)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process
(
StartupFn
?Application))
(
agent
?Process ?RMCopy))))
QoSontology.kif 599-606
Programa de Computador
e' uma
instancia
de
RMStartApplication
Programa de Computador
ComputerProcess
and
Programa de Computador
Copy
Programa de Computador
e' uma
instancia
de
Programa de Computador
programCopy
Programa de Computador
Copy and
Programa de Computador
programRunning
ComputerProcess
and
StartupFn
Programa de Computador
ComputerProcess
e' um
agente
de
Programa de Computador
Copy
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
Entidade
e' uma
instancia
de
ProcessState
Programa de Computador
Programa de Computador
e' uma
instancia
de
Programa de Computador
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
Entidade
define
ComputerProcess
(=>
(
instance
?System
SoftwareSystem
)
(
forall
(?Program ?Process)
(=>
(
and
(
part
?Program ?System)
(
programRunning
?Process ?Program))
(
exists
(?Purpose)
(
hasPurpose
?Process ?Purpose)))))
QoSontology.kif 278-286
Objeto
e' uma
instancia
de
SoftwareSystem
Objeto
ComputerProcess
Objeto
e' uma &parte de
Objeto
programRunning
ComputerProcess
and
Objeto
Formula
ComputerProcess
tem por
fim
Formula
(=>
(
instance
?Task
ComputerTask
)
(
exists
(?Program ?Process)
(
and
(
part
?Task ?Process)
(
instance
?Process
Multitasking
)
(
programRunning
?Task ?Program))))
QoSontology.kif 1799-1805
ComputerProcess
e' uma
instancia
de
ComputerTask
Programa de Computador
Objeto
ComputerProcess
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Multitasking
programRunning
ComputerProcess
and
Programa de Computador
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
maximumReplications
Programa de Computador
and
Inteiro positivo
Inteiro positivo
e'
maior
ou igual a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
minimumReplications
Programa de Computador
and
Inteiro positivo
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
maior
ou igual a
Inteiro positivo
(=>
(
monitorApplicationData
?Time ?Application)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Application)
(
time
?Process ?Time))))
QoSontology.kif 979-984
monitorApplicationData
Posicao Temporal
and
Programa de Computador
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
ComputerProcess
existe
durante
Posicao Temporal
(=>
(
rMProgramOf
?RM ?System)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
part
?Application ?System)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process ?Application)
(
agent
?Process ?RMCopy))))
QoSontology.kif 625-632
rMProgramOf
ResourceManagementProgram
and
SoftwareSystem
Objeto
ComputerProcess
and
ResourceManagementProgram
Copy
Objeto
e' uma &parte de
SoftwareSystem
programCopy
ResourceManagementProgram
Copy and
ResourceManagementProgram
programRunning
ComputerProcess
and
Objeto
ComputerProcess
e' um
agente
de
ResourceManagementProgram
Copy
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
runningOn
Programa de Computador
and
Computer
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
computerRunning
ComputerProcess
and
Computer
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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