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
The number 1 argument of
program running
is an
instance
of
computer process
(
domain
programRunning
2
ComputerProgram
)
QoSontology.kif 209-209
The number 2 argument of
program running
is an
instance
of
computer program
(
instance
programRunning
BinaryPredicate
)
QoSontology.kif 207-207
program running
is an
instance
of
binary predicate
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
There exists
a computer process
such that
a computer program
is a
program
running of
the computer process
if and only if
the computer program
the
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
If
a physical
is an
instance
of
Apple app store
and
the physical
is a
program
running of
a computer process
and
the computer process
is
running
on
a computer
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
downloading
and
the entity
originate
s at
the computer
(=>
(
and
(
instance
?FQ
ForceQuit
)
(
refers
?FQ ?P)
(
programRunning
?P ?PROG))
(
exists
(?A)
(
and
(
instance
?A
Abort
)
(
processAborted
?A ?P))))
ComputingBrands.kif 3042-3050
If
an entity
is an
instance
of
force quit
and
the entity
includes a
reference
to
a computer process
and
the computer process
ROG is a
program
running of
the computer process
,
then there exists
an abort
such that
the abort
is an
instance
of
abort
and
the computer process
is a
process
aborted of
the abort
(=>
(
and
(
instance
?Software
SoftwareSystem
)
(
instance
?Process
ComputerProcess
)
(
programRunning
?Process ?Software))
(
exists
(?Hardware)
(
and
(
instance
?Hardware
HardwareSystem
)
(
computerRunning
?Process ?Hardware))))
QoSontology.kif 299-307
If
a computer program
is an
instance
of
software system
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
,
then there exists
a computer
such that
the computer
is an
instance
of
hardware system
and
the computer process
is
running
on
the computer
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
If
a computer program
is a
program
running of
a computer process
and
the computer process
is
running
on
a computer
,
then
the computer program
can be
ComputerProcesses
on
the computer
(=>
(
and
(
programRunning
?Process ?Program)
(
instance
?Program ?PC)
(
instance
?Computer ?CC)
(
computerRunning
?Process ?Computer))
(
canRunOn
?PC ?CC))
QoSontology.kif 357-363
If
a computer program
is a
program
running of
a computer process
and
the computer program
is an
instance
of
another kind of computer program
and
a computer
is an
instance
of
another kind of computer
and
the computer process
is
running
on
the computer
,
then
another kind of computer
is capable of
ComputerProcessing
another kind of computer program
(=>
(
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
If
a computer program
is a
shutdown
of
a shutdown block
and
a computer process
is an
instance
of
computer process
and
the shutdown block
is a
program
running of
the computer process
and the
time
of existence of
the computer process
is
equal
to
a time interval
,
then there exist
another computer process
and
another time interval
such that
the other computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the other computer process
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
the other time interval
meet
s
the time interval
(=>
(
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
If
a computer program
is a
startup
of
a startup block
and
a computer process
is an
instance
of
computer process
and
the startup block
is a
program
running of
the computer process
and the
time
of existence of
the computer process
is
equal
to
a time interval
,
then there exist
another computer process
and
another time interval
such that
the other computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the other computer process
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
the time interval
meet
s
the other time interval
(=>
(
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
If the
startup
time
delay
of
a computer program
is
a time duration
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and the
time
of existence of
the computer process
is
equal
to
a time interval
and
a physical
is an
instance
of
computer process
and the
time
of existence of
the physical
is
equal
to
another time interval
and
the time interval
meet
s
a third time interval
and
the third time interval
meet
s
the other time interval
,
then
duration
of
the third time interval
is
the time duration
(=>
(
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
If there exist
a time interval
and
another time interval
such that
a time duration
is a
dependency
delay of
a computer program
and
shutdown block
is a
dependency
type of
the computer program
and
another computer program
has a
dependency
on
the computer program
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and
another computer process
is an
instance
of
computer process
and
the other computer program
is a
program
running of
the other computer process
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
a third time interval
finish
es
the time interval
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and the
beginning
of
the third time interval
is
equal
to the
end
of
the other time interval
,
then
duration
of
the third time interval
is
the time duration
(=>
(
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
If there exist
a time interval
and
another time interval
such that
a time duration
is a
dependency
delay of
a computer program
and
startup block
is a
dependency
type of
the computer program
and
another computer program
has a
dependency
on
the computer program
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
and
another computer process
is an
instance
of
computer process
and
the other computer program
is a
program
running of
the other computer process
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
the other time interval
start
s
a third time interval
and the
time
of existence of
the computer process
is
equal
to
the time interval
and the
end
of
the third time interval
is
equal
to the
beginning
of
the time interval
,
then
duration
of
the third time interval
is
the time duration
(=>
(
programRunning
?Process ?Program)
(
exists
(?Computer)
(
runningOn
?Program ?Computer)))
QoSontology.kif 166-169
If
a computer program
is a
program
running of
a computer process
,
then there exists
a computer
such that
the computer program
is
running
on
the computer
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardErrorDevice
?Process ?Device)))
QoSontology.kif 543-546
If
a computer program
is a
program
running of
a computer process
,
then there exists
a computer output device
such that
the computer output device
is the
standard
error
device
for
the computer process
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardInputDevice
?Process ?Device)))
QoSontology.kif 509-512
If
a computer program
is a
program
running of
a computer process
,
then there exists
a computer input device
such that
the computer input device
is the
standard
input
device
for
the computer process
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardOutputDevice
?Process ?Device)))
QoSontology.kif 526-529
If
a computer program
is a
program
running of
a computer process
,
then there exists
a computer output device
such that
the computer output device
is the
standard
output
device
for
the computer process
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
If
device OS
a kind of object
and
a kind of computer
and
a kind of object
I is an
instance
of
the kind of object
and
a kind of computer
I is an
instance
of
the kind of computer
and the maker of
the kind of object
is
a cognitive agent
,
then
the cognitive agent
desire
s
the kind of computer
I is a
program
running of
a third entity
and
the third entity
is
running
on
the kind of object
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
If
a computer program
is a
shutdown
of
a shutdown block
and
a computer process
is an
instance
of
computer process
and
the shutdown block
is a
program
running of
the computer process
and the
time
of existence of
the computer process
is
equal
to
a time interval
,
then there exist
another computer process
and
another time interval
such that
the other computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the other computer process
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
the other time interval
meet
s
the time interval
(=>
(
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
If
a computer program
is a
startup
of
a startup block
and
a computer process
is an
instance
of
computer process
and
the startup block
is a
program
running of
the computer process
and the
time
of existence of
the computer process
is
equal
to
a time interval
,
then there exist
another computer process
and
another time interval
such that
the other computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the other computer process
and the
time
of existence of
the other computer process
is
equal
to
the other time interval
and
the time interval
meet
s
the other time interval
(=>
(
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
If
an identifier
is the
ID
of
a web browser
when accessing
a web site
,
then there exist
a symbolic string
,
a process
,, ,
an agent
and
a computer process
such that
the symbolic string
is an
instance
of
web page
and
the symbolic string
is a
sub
-string of
the web site
and
the process
is an
instance
of
accessing web page
and
the agent
is an
instance
of
agent
and
the agent
is an
agent
of
the process
and
the web browser
is a
program
running of
the computer process
and
the computer process
cause
s
the process
and
the process
end
s up at
the symbolic string
and
the identifier
express
es
the agent
(=>
(
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
If
a physical
is an
instance
of
app
,
then
the physical
has the purpose there exist
the physical
,
an entity
and
another entity
such that
the other entity
is an
instance
of
mobile cell phone
and
the entity
is an
instance
of
computer process
and
the physical
is a
program
running of
the entity
and
the entity
is
running
on
the other entity
(=>
(
instance
?C
CalendaringProgram
)
(
hasPurpose
?C
(
exists
(?T ?P)
(
and
(
instance
?T
CalendarText
)
(
programRunning
?P ?C)
(
result
?P ?T)))))
ComputingBrands.kif 2320-2327
If
a physical
is an
instance
of
カレンダー
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
calendar
and
the physical
is a
program
running of
the other entity
and
the entity
is a
result
of
the other entity
(=>
(
instance
?C
CameraProgram
)
(
hasPurpose
?C
(
exists
(?I ?P)
(
and
(
instance
?I
Image
)
(
programRunning
?P ?C)
(
patient
?P ?I)))))
ComputingBrands.kif 2341-2348
If
a physical
is an
instance
of
camera
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
image
and
the physical
is a
program
running of
the other entity
and
the entity
is a
patient
of
the other entity
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
If
a computer process
is an
instance
of
DHCP server
,
then there exist
a computer program
and
a computer
such that
the computer
is an
instance
of
computer
and
the computer program
is an
instance
of
DHCP program
and
the computer process
is
running
on
the computer
and
the computer program
is a
program
running of
the computer process
(=>
(
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
If
a physical
is an
instance
of
mailer
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
computer process
and
the other entity
is an
instance
of
emailing
and
the entity
is an
instrument
for
the other entity
and
the physical
is a
program
running of
the entity
(=>
(
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
If
an entity
is an
instance
of
feedback
,
then there exist
a resource management program
,
a computer process
,, ,
a software system
and
a process
such that
the software system
is a
rM
program-of of
the resource management program
and
the software system
is a
program
running of
the computer process
and
the process
is an
instance
of
data transfer
and
the entity
is a
patient
of
the process
and
the process
end
s up at
the resource management program
(=>
(
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
If
an object
is an
instance
of
dock
,
then there exist
another object
,
a computer process
and
a computer program
such that
the computer program
is an
instance
of
computer program
and
the computer program
is a
program
running of
the computer process
and
the other object
is an
instance
of
icon
and
the other object
express
es
the computer process
and
the other object
is
inside
to
the object
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
If
a computer process
is an
instance
of
computer process
,
then there exist
a computer
and
a computer program
such that
the computer
is an
instance
of
computer
and
the computer process
is
running
on
the computer
and
the computer program
is an
instance
of
computer program
and
the computer program
is a
program
running of
the computer process
(=>
(
instance
?Process
Multitasking
)
(
exists
(?Program1 ?Program2)
(
and
(
programRunning
?Process ?Program1)
(
programRunning
?Process ?Program2)
(
not
(
equal
?Program1 ?Program2)))))
QoSontology.kif 1785-1792
If
a computer process
is an
instance
of
multitasking
,
then there exist
a computer program
and
another computer program
such that
the computer program
is a
program
running of
the computer process
and
the other computer program
is a
program
running of
the computer process
and
the computer program
is not
equal
to
the other computer program
(=>
(
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
If
a computer program
is an
instance
of
RMStartApplication
,
then there exist
another computer program
,
a computer process
and
the computer program
Copy such that
the other computer program
is an
instance
of
computer program
and
the computer program
Copy is a
copy
of
the computer program
and the
startup
of
the other computer program
is a
program
running of
the computer process
and
the computer program
Copy is an
agent
of
the computer process
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
If
an entity
is an
instance
of
process state
,
then there exists
a computer program
such that
the computer program
is an
instance
of
computer program
and for all
a computer process
if
the computer program
is a
program
running of
the computer process
,
then
the entity
express
es
the computer process
(=>
(
instance
?System
SoftwareSystem
)
(
forall
(?Program ?Process)
(=>
(
and
(
part
?Program ?System)
(
programRunning
?Process ?Program))
(
exists
(?Purpose)
(
hasPurpose
?Process ?Purpose)))))
QoSontology.kif 278-286
If
an object
is an
instance
of
software system
,
then for all
another object
and
a computer process
if
the other object
is a
part
of
the object
and
the other object
is a
program
running of
the computer process
,
then there exists
a formula
such that
the computer process
has the purpose
the formula
(=>
(
instance
?Task
ComputerTask
)
(
exists
(?Program ?Process)
(
and
(
part
?Task ?Process)
(
instance
?Process
Multitasking
)
(
programRunning
?Task ?Program))))
QoSontology.kif 1799-1805
If
a computer process
is an
instance
of
computer task
,
then there exist
a computer program
and
an object
such that
the computer process
is a
part
of
the object
and
the object
is an
instance
of
multitasking
and
the computer program
is a
program
running of
the computer process
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
If
a positive integer
is a
maximum
replications of
a computer program
,
then
the positive integer
is
greater
than or equal to the number of
instances
in the
class
described by
a symbolic string
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
If
a positive integer
is a
minimum
replications of
a computer program
,
then the number of
instances
in the
class
described by
a symbolic string
is
greater
than or equal to
the positive integer
(=>
(
monitorApplicationData
?Time ?Application)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Application)
(
time
?Process ?Time))))
QoSontology.kif 979-984
If
a computer program
is a
monitor
application data of
a time position
,
then there exists
a computer process
such that
the computer program
is a
program
running of
the computer process
and
the computer process
exists
during
the time position
(=>
(
rMProgramOf
?RM ?System)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
part
?Application ?System)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process ?Application)
(
agent
?Process ?RMCopy))))
QoSontology.kif 625-632
If
a software system
is a
rM
program-of of
a resource management program
,
then there exist
an object
,
a computer process
and
the resource management program
Copy such that
the object
is a
part
of
the software system
and
the resource management program
Copy is a
copy
of
the resource management program
and
the object
is a
program
running of
the computer process
and
the resource management program
Copy is an
agent
of
the computer process
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
If
a computer program
is
running
on
a computer
,
then there exists
a computer process
such that
the computer program
is a
program
running of
the computer process
and
the computer process
is
running
on
the 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