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
Il numero 1 argomenti di
programRunning
è un
istanza
di
ComputerProcess
(
domain
programRunning
2
ComputerProgram
)
QoSontology.kif 209-209
Il numero 2 argomenti di
programRunning
è un
istanza
di
ProgrammaDiComputer
(
instance
programRunning
BinaryPredicate
)
QoSontology.kif 207-207
programRunning
è un'
istanza
di
PredicatoBinario
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 47650-47650
(
termFormat
ChineseTraditionalLanguage
programRunning
"程序運行")
domainEnglishFormat.kif 47649-47649
(
termFormat
EnglishLanguage
programRunning
"program running")
domainEnglishFormat.kif 47648-47648
antecedent
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 989-992
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
ProgrammaDiComputer
ha un
attributo
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
Entit�Concreta
è un'
istanza
di
AppleAppStore
programRunning
ComputerProcess
and
Entit�Concreta
computerRunning
ComputerProcess
and
Computer
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
DownloadingOverNetwork
Entit�
si
originas in
Computer
(=>
(
and
(
instance
?FQ
ForceQuit
)
(
refers
?FQ ?P)
(
programRunning
?P ?PROG))
(
exists
(?A)
(
and
(
instance
?A
Abort
)
(
processAborted
?A ?P))))
ComputingBrands.kif 3042-3050
Entit�
è un'
istanza
di
ForceQuit
Entit�
include un
riferimento
a
ComputerProcess
programRunning
ComputerProcess
and
ComputerProcess
ROG
Abort
Abort
è un'
istanza
di
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
ProgrammaDiComputer
è un'
istanza
di
SoftwareSystem
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
Computer
Computer
è un'
istanza
di
HardwareSystem
computerRunning
ComputerProcess
and
Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
programRunning
ComputerProcess
and
ProgrammaDiComputer
computerRunning
ComputerProcess
and
Computer
runsOn
ProgrammaDiComputer
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
ProgrammaDiComputer
ProgrammaDiComputer
è un'
istanza
di
ProgrammaDiComputer
Computer
è un'
istanza
di
Computer
computerRunning
ComputerProcess
and
Computer
canRunOn
ProgrammaDiComputer
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
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ShutdownBlock
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
ComputerProcess
IntervalloTemporale
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
StartupBlock
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
ComputerProcess
IntervalloTemporale
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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
ProgrammaDiComputer
and
Durata
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
Entit�Concreta
è un'
istanza
di
ComputerProcess
il
tempo
di esistenza di
Entit�Concreta
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
durata
di
IntervalloTemporale
è
Durata
(=>
(
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
IntervalloTemporale
IntervalloTemporale
dependencyDelay
ProgrammaDiComputer
and
Durata
dependencyType
ProgrammaDiComputer
and
ShutdownBlock
hasDependency
ProgrammaDiComputer
and
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
IntervalloTemporale
finisce
es
IntervalloTemporale
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
l'
inizio
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
durata
di
IntervalloTemporale
è
Durata
(=>
(
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
IntervalloTemporale
IntervalloTemporale
dependencyDelay
ProgrammaDiComputer
and
Durata
dependencyType
ProgrammaDiComputer
and
StartupBlock
hasDependency
ProgrammaDiComputer
and
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
IntervalloTemporale
inizia
s
IntervalloTemporale
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a l'
inizio
di
IntervalloTemporale
durata
di
IntervalloTemporale
è
Durata
(=>
(
programRunning
?Process ?Program)
(
exists
(?Computer)
(
runningOn
?Program ?Computer)))
QoSontology.kif 166-169
programRunning
ComputerProcess
and
ProgrammaDiComputer
Computer
runningOn
ProgrammaDiComputer
and
Computer
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardErrorDevice
?Process ?Device)))
QoSontology.kif 543-546
programRunning
ComputerProcess
and
ProgrammaDiComputer
ComputerOutputDevice
standardErrorDevice
ComputerProcess
and
ComputerOutputDevice
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardInputDevice
?Process ?Device)))
QoSontology.kif 509-512
programRunning
ComputerProcess
and
ProgrammaDiComputer
ComputerInputDevice
standardInputDevice
ComputerProcess
and
ComputerInputDevice
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardOutputDevice
?Process ?Device)))
QoSontology.kif 526-529
programRunning
ComputerProcess
and
ProgrammaDiComputer
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
Oggetto
and
Computer
Oggetto
I è un'
istanza
di
Oggetto
Computer
I è un'
istanza
di
Computer
manufacturer
Oggetto
and
AgenteCognitivo
AgenteCognitivo
desidera
s
programRunning
Entit�
and
Computer
I
computerRunning
Entit�
and
Oggetto
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
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ShutdownBlock
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
ComputerProcess
IntervalloTemporale
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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
ProgrammaDiComputer
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
StartupBlock
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
ComputerProcess
IntervalloTemporale
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
il
tempo
di esistenza di
ComputerProcess
is
uguale
a
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
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
Stringa
Processo
,
AutonomousAgent
and
ComputerProcess
Stringa
è un'
istanza
di
WebPage
subString
Stringa
and
WebSite
Processo
è un'
istanza
di
AccessingWebPage
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
programRunning
ComputerProcess
and
WebBrowser
ComputerProcess
causa
s
Processo
Processo
fine
s in
Stringa
Identifier
esprime
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
Entit�Concreta
è un'
istanza
di
App
Entit�Concreta
ha
scopo
Entit�Concreta
Entit�
and
Entit�
Entit�
è un'
istanza
di
MobileCellPhone
Entit�
è un'
istanza
di
ComputerProcess
programRunning
Entit�
and
Entit�Concreta
computerRunning
Entit�
and
Entit�
(=>
(
instance
?C
CalendaringProgram
)
(
hasPurpose
?C
(
exists
(?T ?P)
(
and
(
instance
?T
CalendarText
)
(
programRunning
?P ?C)
(
result
?P ?T)))))
ComputingBrands.kif 2320-2327
Entit�Concreta
è un'
istanza
di
CalendaringProgram
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
CalendarText
programRunning
Entit�
and
Entit�Concreta
Entit�
è un
risultato
di
Entit�
(=>
(
instance
?C
CameraProgram
)
(
hasPurpose
?C
(
exists
(?I ?P)
(
and
(
instance
?I
Image
)
(
programRunning
?P ?C)
(
patient
?P ?I)))))
ComputingBrands.kif 2341-2348
Entit�Concreta
è un'
istanza
di
CameraProgram
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Image
programRunning
Entit�
and
Entit�Concreta
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
ComputerProcess
è un'
istanza
di
DHCPServer
ProgrammaDiComputer
Computer
Computer
è un'
istanza
di
Computer
ProgrammaDiComputer
è un'
istanza
di
DHCPProgram
computerRunning
ComputerProcess
and
Computer
programRunning
ComputerProcess
and
ProgrammaDiComputer
(=>
(
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
Entit�Concreta
è un'
istanza
di
EmailProgram
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
ComputerProcess
Entit�
è un'
istanza
di
Emailing
Entit�
è uno
strumento
per
Entit�
programRunning
Entit�
and
Entit�Concreta
(=>
(
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
Entit�
è un'
istanza
di
Feedback
ResourceManagementProgram
ComputerProcess
,
SoftwareSystem
and
Processo
rMProgramOf
ResourceManagementProgram
and
SoftwareSystem
programRunning
ComputerProcess
and
SoftwareSystem
Processo
è un'
istanza
di
DataTransfer
Entit�
è un
paziente
di
Processo
Processo
fine
s in
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
Oggetto
è un'
istanza
di
GUIDock
Oggetto
ComputerProcess
and
ProgrammaDiComputer
ProgrammaDiComputer
è un'
istanza
di
ProgrammaDiComputer
programRunning
ComputerProcess
and
ProgrammaDiComputer
Oggetto
è un'
istanza
di
Icona
Oggetto
esprime
ComputerProcess
Oggetto
è
Inside
a
Oggetto
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
ComputerProcess
è un'
istanza
di
ComputerProcess
Computer
ProgrammaDiComputer
Computer
è un'
istanza
di
Computer
computerRunning
ComputerProcess
and
Computer
ProgrammaDiComputer
è un'
istanza
di
ProgrammaDiComputer
programRunning
ComputerProcess
and
ProgrammaDiComputer
(=>
(
instance
?Process
Multitasking
)
(
exists
(?Program1 ?Program2)
(
and
(
programRunning
?Process ?Program1)
(
programRunning
?Process ?Program2)
(
not
(
equal
?Program1 ?Program2)))))
QoSontology.kif 1785-1792
ComputerProcess
è un'
istanza
di
Multitasking
ProgrammaDiComputer
ProgrammaDiComputer
programRunning
ComputerProcess
and
ProgrammaDiComputer
programRunning
ComputerProcess
and
ProgrammaDiComputer
ProgrammaDiComputer
is
uguale
a
ProgrammaDiComputer
(=>
(
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
ProgrammaDiComputer
è un'
istanza
di
RMStartApplication
ProgrammaDiComputer
ComputerProcess
and
ProgrammaDiComputer
Copy
ProgrammaDiComputer
è un'
istanza
di
ProgrammaDiComputer
programCopy
ProgrammaDiComputer
Copy and
ProgrammaDiComputer
programRunning
ComputerProcess
and
StartupFn
ProgrammaDiComputer
ComputerProcess
è un
agente
di
ProgrammaDiComputer
Copy
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
Entit�
è un'
istanza
di
ProcessState
ProgrammaDiComputer
ProgrammaDiComputer
è un'
istanza
di
ProgrammaDiComputer
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
Entit�
esprime
ComputerProcess
(=>
(
instance
?System
SoftwareSystem
)
(
forall
(?Program ?Process)
(=>
(
and
(
part
?Program ?System)
(
programRunning
?Process ?Program))
(
exists
(?Purpose)
(
hasPurpose
?Process ?Purpose)))))
QoSontology.kif 278-286
Oggetto
è un'
istanza
di
SoftwareSystem
Oggetto
ComputerProcess
Oggetto
è una
parte
di
Oggetto
programRunning
ComputerProcess
and
Oggetto
Formula
ComputerProcess
ha
scopo
Formula
(=>
(
instance
?Task
ComputerTask
)
(
exists
(?Program ?Process)
(
and
(
part
?Task ?Process)
(
instance
?Process
Multitasking
)
(
programRunning
?Task ?Program))))
QoSontology.kif 1799-1805
ComputerProcess
è un'
istanza
di
ComputerTask
ProgrammaDiComputer
Oggetto
ComputerProcess
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Multitasking
programRunning
ComputerProcess
and
ProgrammaDiComputer
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
maximumReplications
ProgrammaDiComputer
and
NumeroInteroPositivo
NumeroInteroPositivo
è
pi
ù grande di o uguale a il numero di
istanzia
in la
classe
descritta da
Stringa
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
minimumReplications
ProgrammaDiComputer
and
NumeroInteroPositivo
il numero di
istanzia
in la
classe
descritta da
Stringa
è
pi
ù grande di o uguale a
NumeroInteroPositivo
(=>
(
monitorApplicationData
?Time ?Application)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Application)
(
time
?Process ?Time))))
QoSontology.kif 979-984
monitorApplicationData
PosizioneTemporale
and
ProgrammaDiComputer
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
ComputerProcess
esistes
durante
PosizioneTemporale
(=>
(
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
Oggetto
ComputerProcess
and
ResourceManagementProgram
Copy
Oggetto
è una
parte
di
SoftwareSystem
programCopy
ResourceManagementProgram
Copy and
ResourceManagementProgram
programRunning
ComputerProcess
and
Oggetto
ComputerProcess
è un
agente
di
ResourceManagementProgram
Copy
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
runningOn
ProgrammaDiComputer
and
Computer
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
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