Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
FormulaOneDriver
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 211-213
(
domain
programRunning
1
ComputerProcess
)
QoSontology.kif 209-209
The number 1 argument of
program running
is an
instance
of
computer process
(
domain
programRunning
2
ComputerProgram
)
QoSontology.kif 210-210
The number 2 argument of
program running
is an
instance
of
computer program
(
instance
programRunning
BinaryPredicate
)
QoSontology.kif 208-208
program running
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
programRunning
"%2 %n 是 %1 的执行 program ")
domainEnglishFormat.kif 2075-2075
(
format
ChineseTraditionalLanguage
programRunning
"%2 %n 是 %1 的執行 program ")
domainEnglishFormat.kif 2074-2074
(
format
EnglishLanguage
programRunning
"%2 is %n a program running of %1")
domainEnglishFormat.kif 2073-2073
(
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 1098-1101
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 300-308
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 344-348
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 358-364
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 428-439
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
equal
the
time
of existence of
the computer process
and
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
equal
the
time
of existence of
the other computer process
and
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 388-399
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
equal
the
time
of existence of
the computer process
and
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
equal
the
time
of existence of
the other computer process
and
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 769-779
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
equal
the
time
of existence of
the computer process
and
a time interval
and
a physical
is an
instance
of
computer process
and
equal
the
time
of existence of
the physical
and
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 1379-1393
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
equal
the
time
of existence of
the other computer process
and
the other time interval
and
a third time interval
finish
es
the time interval
and
equal
the
time
of existence of
the other computer process
and
the other time interval
and
equal
the
beginning
of
the third time interval
and 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 1363-1377
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
equal
the
time
of existence of
the other computer process
and
the other time interval
and
the other time interval
start
s
a third time interval
and
equal
the
time
of existence of
the computer process
and
the time interval
and
equal
the
end
of
the third time interval
and 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 167-170
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 651-654
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 617-620
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 634-637
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 428-439
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
equal
the
time
of existence of
the computer process
and
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
equal
the
time
of existence of
the other computer process
and
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 388-399
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
equal
the
time
of existence of
the computer process
and
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
equal
the
time
of existence of
the other computer process
and
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 4060-4067
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 785-793
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
programof 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 158-165
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 1916-1923
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
equal
the computer program
and
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 708-715
If
a computer program
is an
instance
of
RM start application
,
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 670-678
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 279-287
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 1930-1936
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 859-864
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 842-847
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 1088-1093
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 734-741
If
a software system
is a
rM
programof 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 193-198
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