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
Le nombre 1 argument de
programRunning
est une
instance
de
ComputerProcess
(
domain
programRunning
2
ComputerProgram
)
QoSontology.kif 209-209
Le nombre 2 argument de
programRunning
est une
instance
de
programme d'ordinateur
(
instance
programRunning
BinaryPredicate
)
QoSontology.kif 207-207
programRunning
est une
instance
de
pr�dicat binaire
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
programme d'ordinateur
programme d'ordinateur
a un
attribute
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
Physique
est une
instance
de
AppleAppStore
programRunning
ComputerProcess
and
physique
computerRunning
ComputerProcess
and
Computer
physique
a pour
but
entit�
entit�
est une
instance
de
DownloadingOverNetwork
entit�
a pour
origine
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�
est une
instance
de
ForceQuit
entit�
inclut une
r
�f�rence �
ComputerProcess
programRunning
ComputerProcess
and
ComputerProcess
ROG
Abort
Abort
est une
instance
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
Programme d'ordinateur
est une
instance
de
SoftwareSystem
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
Computer
Computer
est une
instance
de
HardwareSystem
computerRunning
ComputerProcess
and
Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
programRunning
ComputerProcess
and
programme d'ordinateur
computerRunning
ComputerProcess
and
Computer
runsOn
programme d'ordinateur
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
programme d'ordinateur
programme d'ordinateur
est une
instance
de
programme d'ordinateur
Computer
est une
instance
de
Computer
computerRunning
ComputerProcess
and
Computer
canRunOn
programme d'ordinateur
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
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
ShutdownBlock
temps
d'existence de
ComputerProcess
est
interval temporel
ComputerProcess
interval temporel
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
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
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
StartupBlock
temps
d'existence de
ComputerProcess
est
interval temporel
ComputerProcess
interval temporel
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
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
programme d'ordinateur
and
dur�e temporel
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
physique
est une
instance
de
ComputerProcess
temps
d'existence de
physique
est
interval temporel
interval temporel
rencontre
interval temporel
interval temporel
rencontre
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
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
Interval temporel
interval temporel
dependencyDelay
programme d'ordinateur
and
dur�e temporel
dependencyType
programme d'ordinateur
and
ShutdownBlock
hasDependency
programme d'ordinateur
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
finit
interval temporel
temps
d'existence de
ComputerProcess
est
interval temporel
le
d
�but de
interval temporel
est
fin
de
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
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
Interval temporel
interval temporel
dependencyDelay
programme d'ordinateur
and
dur�e temporel
dependencyType
programme d'ordinateur
and
StartupBlock
hasDependency
programme d'ordinateur
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
commence
interval temporel
temps
d'existence de
ComputerProcess
est
interval temporel
la
fin
de
interval temporel
est
d
�but de
interval temporel
la
dur
�� de
interval temporel
est
dur�e temporel
(=>
(
programRunning
?Process ?Program)
(
exists
(?Computer)
(
runningOn
?Program ?Computer)))
QoSontology.kif 166-169
programRunning
ComputerProcess
and
programme d'ordinateur
Computer
runningOn
programme d'ordinateur
and
Computer
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardErrorDevice
?Process ?Device)))
QoSontology.kif 543-546
programRunning
ComputerProcess
and
programme d'ordinateur
ComputerOutputDevice
standardErrorDevice
ComputerProcess
and
ComputerOutputDevice
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardInputDevice
?Process ?Device)))
QoSontology.kif 509-512
programRunning
ComputerProcess
and
programme d'ordinateur
ComputerInputDevice
standardInputDevice
ComputerProcess
and
ComputerInputDevice
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardOutputDevice
?Process ?Device)))
QoSontology.kif 526-529
programRunning
ComputerProcess
and
programme d'ordinateur
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
objet
and
Computer
objet
I est une
instance
de
objet
Computer
I est une
instance
de
Computer
manufacturer
objet
and
agent cognitif
agent cognitif
desire
programRunning
entit�
and
Computer
I
computerRunning
entit�
and
objet
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
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
ShutdownBlock
temps
d'existence de
ComputerProcess
est
interval temporel
ComputerProcess
interval temporel
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
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
programme d'ordinateur
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
StartupBlock
temps
d'existence de
ComputerProcess
est
interval temporel
ComputerProcess
interval temporel
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
temps
d'existence de
ComputerProcess
est
interval temporel
interval temporel
rencontre
interval temporel
(=>
(
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
cha�ne sympbolique
processus
,
AutonomousAgent
and
ComputerProcess
cha�ne sympbolique
est une
instance
de
WebPage
subString
cha�ne sympbolique
and
WebSite
processus
est une
instance
de
AccessingWebPage
AutonomousAgent
est une
instance
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
programRunning
ComputerProcess
and
WebBrowser
ComputerProcess
cause
processus
processus
aboutit
�
cha�ne sympbolique
Identifier
d
�finie
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
Physique
est une
instance
de
App
physique
a pour
but
physique
entit�
and
entit�
entit�
est une
instance
de
MobileCellPhone
entit�
est une
instance
de
ComputerProcess
programRunning
entit�
and
physique
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
Physique
est une
instance
de
CalendaringProgram
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
CalendarText
programRunning
entit�
and
physique
entit�
est le
resultat
de
entit�
(=>
(
instance
?C
CameraProgram
)
(
hasPurpose
?C
(
exists
(?I ?P)
(
and
(
instance
?I
Image
)
(
programRunning
?P ?C)
(
patient
?P ?I)))))
ComputingBrands.kif 2341-2348
Physique
est une
instance
de
CameraProgram
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
Image
programRunning
entit�
and
physique
entit�
est un
patient
de
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
est une
instance
de
DHCPServer
programme d'ordinateur
Computer
Computer
est une
instance
de
Computer
programme d'ordinateur
est une
instance
de
DHCPProgram
computerRunning
ComputerProcess
and
Computer
programRunning
ComputerProcess
and
programme d'ordinateur
(=>
(
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
Physique
est une
instance
de
EmailProgram
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
ComputerProcess
entit�
est une
instance
de
Emailing
entit�
est un
instrument
pour
entit�
programRunning
entit�
and
physique
(=>
(
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�
est une
instance
de
Feedback
ResourceManagementProgram
ComputerProcess
,
SoftwareSystem
and
processus
rMProgramOf
ResourceManagementProgram
and
SoftwareSystem
programRunning
ComputerProcess
and
SoftwareSystem
processus
est une
instance
de
DataTransfer
entit�
est un
patient
de
processus
processus
aboutit
�
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
Objet
est une
instance
de
GUIDock
objet
ComputerProcess
and
programme d'ordinateur
programme d'ordinateur
est une
instance
de
programme d'ordinateur
programRunning
ComputerProcess
and
programme d'ordinateur
objet
est une
instance
de
icone
objet
d
�finie
ComputerProcess
objet
est
Inside
�
objet
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
ComputerProcess
est une
instance
de
ComputerProcess
Computer
programme d'ordinateur
Computer
est une
instance
de
Computer
computerRunning
ComputerProcess
and
Computer
programme d'ordinateur
est une
instance
de
programme d'ordinateur
programRunning
ComputerProcess
and
programme d'ordinateur
(=>
(
instance
?Process
Multitasking
)
(
exists
(?Program1 ?Program2)
(
and
(
programRunning
?Process ?Program1)
(
programRunning
?Process ?Program2)
(
not
(
equal
?Program1 ?Program2)))))
QoSontology.kif 1785-1792
ComputerProcess
est une
instance
de
Multitasking
programme d'ordinateur
programme d'ordinateur
programRunning
ComputerProcess
and
programme d'ordinateur
programRunning
ComputerProcess
and
programme d'ordinateur
programme d'ordinateur
est
programme d'ordinateur
(=>
(
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
Programme d'ordinateur
est une
instance
de
RMStartApplication
programme d'ordinateur
ComputerProcess
and
programme d'ordinateur
Copy
programme d'ordinateur
est une
instance
de
programme d'ordinateur
programCopy
programme d'ordinateur
Copy and
programme d'ordinateur
programRunning
ComputerProcess
and
StartupFn
programme d'ordinateur
ComputerProcess
est un
agent
de
programme d'ordinateur
Copy
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
Entit�
est une
instance
de
ProcessState
programme d'ordinateur
programme d'ordinateur
est une
instance
de
programme d'ordinateur
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
entit�
d
�finie
ComputerProcess
(=>
(
instance
?System
SoftwareSystem
)
(
forall
(?Program ?Process)
(=>
(
and
(
part
?Program ?System)
(
programRunning
?Process ?Program))
(
exists
(?Purpose)
(
hasPurpose
?Process ?Purpose)))))
QoSontology.kif 278-286
Objet
est une
instance
de
SoftwareSystem
objet
ComputerProcess
objet
est une
partie
de
objet
programRunning
ComputerProcess
and
objet
formule
ComputerProcess
a pour
but
formule
(=>
(
instance
?Task
ComputerTask
)
(
exists
(?Program ?Process)
(
and
(
part
?Task ?Process)
(
instance
?Process
Multitasking
)
(
programRunning
?Task ?Program))))
QoSontology.kif 1799-1805
ComputerProcess
est une
instance
de
ComputerTask
programme d'ordinateur
objet
ComputerProcess
est une
partie
de
objet
objet
est une
instance
de
Multitasking
programRunning
ComputerProcess
and
programme d'ordinateur
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
maximumReplications
programme d'ordinateur
and
nombre entier positif
nombre entier positif
est
plus
grand
ou �gal � le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
minimumReplications
programme d'ordinateur
and
nombre entier positif
le nombre d'
instances
dans la
classe
d�crite par
cha�ne sympbolique
est
plus
grand
ou �gal �
nombre entier positif
(=>
(
monitorApplicationData
?Time ?Application)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Application)
(
time
?Process ?Time))))
QoSontology.kif 979-984
monitorApplicationData
position temporel
and
programme d'ordinateur
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
ComputerProcess
existe
pendant
position temporel
(=>
(
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
objet
ComputerProcess
and
ResourceManagementProgram
Copy
objet
est une
partie
de
SoftwareSystem
programCopy
ResourceManagementProgram
Copy and
ResourceManagementProgram
programRunning
ComputerProcess
and
objet
ComputerProcess
est un
agent
de
ResourceManagementProgram
Copy
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
runningOn
programme d'ordinateur
and
Computer
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
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