Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 208-210
(
domain
programRunning
1
ComputerProcess
)
QoSontology.kif 206-206
The number 1 argument of
program running
is an
instance
of
computer process
(
domain
programRunning
2
ComputerProgram
)
QoSontology.kif 207-207
The number 2 argument of
program running
is an
instance
of
computer program
(
instance
programRunning
BinaryPredicate
)
QoSontology.kif 205-205
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 47546-47546
(
termFormat
ChineseTraditionalLanguage
programRunning
"程序運行")
domainEnglishFormat.kif 47545-47545
(
termFormat
EnglishLanguage
programRunning
"program running")
domainEnglishFormat.kif 47544-47544
antecedent
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 987-990
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
Downloading
)
(
origin
?D ?C)))))
ComputingBrands.kif 1970-1979
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
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 ?A))
(
exists
(?A)
(
and
(
instance
?A
Abort
)
(
processAborted
?A ?P))))
ComputingBrands.kif 3015-3023
If
an entity
is an
instance
of
force quit
and
the entity
includes a
reference
to
a computer process
and
an abort
is a
program
running of
the computer process
,
then there exists
the 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 297-305
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 341-345
If
a computer program
is a
program
running of
a computer process
and
the computer process
is
running
on
a computer
,
then
the computer
is a
runs
on of
the computer program
(=>
(
and
(
programRunning
?Process ?Program)
(
instance
?Program ?PC)
(
instance
?Computer ?CC)
(
computerRunning
?Process ?Computer))
(
canRunOn
?PC ?CC))
QoSontology.kif 355-361
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
canRunOn
another kind of computer program
and
another kind of 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 425-436
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 385-396
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))
(
measure
?Time ?Delay))
QoSontology.kif 658-668
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 the
measure
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 1275-1289
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 1259-1273
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 164-167
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 541-544
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 507-510
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 524-527
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
(<=>
(
instance
?Feedback
Feedback
)
(
exists
(?RM ?Process ?Program)
(
and
(
rMProgram-of
?RM ?Program)
(
programRunning
?Process ?Program)
(
instance
?Send
DataTransfer
)
(
patient
?Send ?Feedback)
(
destination
?Send ?RM))))
QoSontology.kif 674-682
An entity
is an
instance
of
feedback
if and only if there exist
a resource management program
,
a computer process
and
a software system
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
a 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
(=>
(
and
(
deviceOS
?C ?OS)
(
instance
?CI ?C)
(
instance
?OSI ?OS)
(
manufacturer
?C ?ORG))
(
desires
?ORG
(
and
(
programRunning
?PROC ?OSI)
(
computerRunning
?PROC ?CI))))
ComputingBrands.kif 711-720
If
deviceOS
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 425-436
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 385-396
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
(=>
(
instance
?A
App
)
(
hasPurpose
?A
(
exists
(?A ?P)
(
and
(
instance
?C
MobileCellPhone
)
(
instance
?P
ComputerProcess
)
(
programRunning
?P ?A)
(
computerRunning
?P ?C)))))
ComputingBrands.kif 1940-1948
If
a physical
is an
instance
of
app
,
then
the physical
purpose there exist
the physical
and
an entity
such that
another 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 2300-2307
If
a physical
is an
instance
of
カレンダー
,
then
the physical
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 2321-2328
If
a physical
is an
instance
of
camera
,
then
the physical
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 3990-3997
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
DHCPProgram
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 3093-3101
If
a physical
is an
instance
of
mailer
,
then
the physical
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
?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 2513-2521
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 155-162
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 1790-1797
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
RM-StartApplication
)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
instance
?Application
ComputerProgram
)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process
(
StartupFn
?Application))
(
agent
?Process ?RMCopy))))
QoSontology.kif 597-604
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 560-568
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 276-284
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
purpose
the formula
(=>
(
instance
?Task
ComputerTask
)
(
exists
(?Program ?Process)
(
and
(
part
?Task ?Process)
(
instance
?Process
Multitasking
)
(
programRunning
?Task ?Program))))
QoSontology.kif 1804-1810
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 748-753
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 731-736
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 977-982
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
(=>
(
rMProgram-of
?RM ?System)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
part
?Application ?System)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process ?Application)
(
agent
?Process ?RMCopy))))
QoSontology.kif 623-630
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 190-195
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 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
