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
Die Zahl 1 Argument von
programRunning
ist ein
fall
von
ComputerProcess
%n{nicht}
(
domain
programRunning
2
ComputerProgram
)
QoSontology.kif 209-209
Die Zahl 2 Argument von
programRunning
ist ein
fall
von
ComputerProgram
%n{nicht}
(
instance
programRunning
BinaryPredicate
)
QoSontology.kif 207-207
programRunning
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Es gibt
ComputerProcess
um
programRunning
** ComputerProcess
and
ComputerProgram
genau dann wenn
** ComputerProgram
hat ein
attribut
Executable
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
AppleAppStore
%n{nicht} und
programRunning
ComputerProcess
and
** Physical
und
computerRunning
** ComputerProcess
and
Computer
,
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
DownloadingOverNetwork
%n{nicht} und
** entity
beginnet an
** Computer
%n{nicht} %n{nicht}
(=>
(
and
(
instance
?FQ
ForceQuit
)
(
refers
?FQ ?P)
(
programRunning
?P ?PROG))
(
exists
(?A)
(
and
(
instance
?A
Abort
)
(
processAborted
?A ?P))))
ComputingBrands.kif 3042-3050
Wenn
Entity
ist ein
fall
von
ForceQuit
%n{nicht} und
** Entity
umfasst einen
hinweis
auf
ComputerProcess
und
programRunning
** ComputerProcess
and
** ComputerProcess
ROG,
dann es gibt
Abort
um
** Abort
ist ein
fall
von
Abort
%n{nicht} und
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
Wenn
ComputerProgram
ist ein
fall
von
SoftwareSystem
%n{nicht} und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
,
dann es gibt
Computer
um
** Computer
ist ein
fall
von
HardwareSystem
%n{nicht} und
computerRunning
** ComputerProcess
and
** Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
Wenn
programRunning
ComputerProcess
and
ComputerProgram
und
computerRunning
** ComputerProcess
and
Computer
,
dann
runsOn
** ComputerProgram
and
** Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
instance
?Program ?PC)
(
instance
?Computer ?CC)
(
computerRunning
?Process ?Computer))
(
canRunOn
?PC ?CC))
QoSontology.kif 357-363
Wenn
programRunning
ComputerProcess
and
ComputerProgram
und
** ComputerProgram
ist ein
fall
von
** ** ComputerProgram
%n{nicht} und
Computer
ist ein
fall
von
** ** Computer
%n{nicht} und
computerRunning
** ComputerProcess
and
** Computer
,
dann
canRunOn
** ** ComputerProgram
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
Wenn
shutdownOf
ShutdownBlock
and
ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ShutdownBlock
und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
TimeInterval
%n{nicht},
dann es gibt
** ComputerProcess
und
** TimeInterval
um
** ** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
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
Wenn
startupOf
StartupBlock
and
ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** StartupBlock
und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
TimeInterval
%n{nicht},
dann es gibt
** ComputerProcess
und
** TimeInterval
um
** ** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
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
Wenn
startupTimeDelay
ComputerProgram
and
TimeDuration
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
TimeInterval
%n{nicht} und
Physical
ist ein
fall
von
ComputerProcess
%n{nicht} und die
zeit
des Bestehens von
** Physical
ist gleich
** TimeInterval
%n{nicht} und
** TimeInterval
schliesst
** TimeInterval
zeitlich an und
** ** TimeInterval
schliesst
** ** TimeInterval
zeitlich an,
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
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
Wenn es gibt
TimeInterval
und
** TimeInterval
um
dependencyDelay
ComputerProgram
and
TimeDuration
und
dependencyType
** ComputerProgram
and
ShutdownBlock
und
hasDependency
** ComputerProgram
and
** ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
und
** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** TimeInterval
beendet
** TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und der
anfang
von
** ** TimeInterval
ist gleich das
ende
von
** ** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
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
Wenn es gibt
TimeInterval
und
** TimeInterval
um
dependencyDelay
ComputerProgram
and
TimeDuration
und
dependencyType
** ComputerProgram
and
StartupBlock
und
hasDependency
** ComputerProgram
and
** ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
und
** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
beginnt
** TimeInterval
%n{nicht} und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
** TimeInterval
%n{nicht} und das
ende
von
** ** TimeInterval
ist gleich der
anfang
von
** TimeInterval
%n{nicht},
dann
dauer
von
** ** TimeInterval
ist
** TimeDuration
%n{nicht}
(=>
(
programRunning
?Process ?Program)
(
exists
(?Computer)
(
runningOn
?Program ?Computer)))
QoSontology.kif 166-169
Wenn
programRunning
ComputerProcess
and
ComputerProgram
,
dann es gibt
Computer
um
runningOn
** ComputerProgram
and
** Computer
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardErrorDevice
?Process ?Device)))
QoSontology.kif 543-546
Wenn
programRunning
ComputerProcess
and
ComputerProgram
,
dann es gibt
ComputerOutputDevice
um
standardErrorDevice
** ComputerProcess
and
** ComputerOutputDevice
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardInputDevice
?Process ?Device)))
QoSontology.kif 509-512
Wenn
programRunning
ComputerProcess
and
ComputerProgram
,
dann es gibt
ComputerInputDevice
um
standardInputDevice
** ComputerProcess
and
** ComputerInputDevice
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardOutputDevice
?Process ?Device)))
QoSontology.kif 526-529
Wenn
programRunning
ComputerProcess
and
ComputerProgram
,
dann es gibt
ComputerOutputDevice
um
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
Wenn
deviceOS
** Object
and
** Computer
und
** Object
I ist ein
fall
von
** ** Object
%n{nicht} und
** Computer
I ist ein
fall
von
** ** Computer
%n{nicht} und
manufacturer
** ** Object
and
CognitiveAgent
,
dann
** CognitiveAgent
wuenscht
programRunning
** entity
and
** ** Computer
I und
computerRunning
** ** entity
and
** ** Object
I %n{nicht}
(=>
(
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
Wenn
shutdownOf
ShutdownBlock
and
ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ShutdownBlock
und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
TimeInterval
%n{nicht},
dann es gibt
** ComputerProcess
und
** TimeInterval
um
** ** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
schliesst
** TimeInterval
zeitlich an
(=>
(
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
Wenn
startupOf
StartupBlock
and
ComputerProgram
und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** StartupBlock
und die
zeit
des Bestehens von
** ComputerProcess
ist gleich
TimeInterval
%n{nicht},
dann es gibt
** ComputerProcess
und
** TimeInterval
um
** ** ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ** ComputerProcess
and
** ComputerProgram
und die
zeit
des Bestehens von
** ** ComputerProcess
ist gleich
** ** TimeInterval
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an
(=>
(
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
Wenn
browserID
Identifier
,
WebBrowser
and
WebSite
,
dann es gibt
SymbolicString
,
Process
,, ,
AutonomousAgent
, and und
ComputerProcess
um
** SymbolicString
ist ein
fall
von
WebPage
%n{nicht} und
subString
** SymbolicString
and
** WebSite
und
** Process
ist ein
fall
von
AccessingWebPage
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
programRunning
** ComputerProcess
and
** WebBrowser
und
** ComputerProcess
verursacht
** Process
%n{nicht} und
** Process
endet an
** SymbolicString
%n{nicht} und
** Identifier
drueckt
** AutonomousAgent
aus
(=>
(
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
Wenn
Physical
ist ein
fall
von
App
%n{nicht},
dann
** Physical
hat Zweck von es gibt
** Physical
,
entity
, and und
** entity
um
** ** entity
ist ein
fall
von
MobileCellPhone
%n{nicht} und
** entity
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** entity
and
** Physical
und
computerRunning
** entity
and
** ** entity
%n{nicht}
(=>
(
instance
?C
CalendaringProgram
)
(
hasPurpose
?C
(
exists
(?T ?P)
(
and
(
instance
?T
CalendarText
)
(
programRunning
?P ?C)
(
result
?P ?T)))))
ComputingBrands.kif 2320-2327
Wenn
Physical
ist ein
fall
von
CalendaringProgram
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
CalendarText
%n{nicht} und
programRunning
** ** entity
and
** Physical
und
** entity
ist ein
resultat
von
** ** entity
%n{nicht} %n{nicht}
(=>
(
instance
?C
CameraProgram
)
(
hasPurpose
?C
(
exists
(?I ?P)
(
and
(
instance
?I
Image
)
(
programRunning
?P ?C)
(
patient
?P ?I)))))
ComputingBrands.kif 2341-2348
Wenn
Physical
ist ein
fall
von
CameraProgram
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Image
%n{nicht} und
programRunning
** ** entity
and
** Physical
und
** entity
ist ein
patient
von
** ** entity
%n{nicht} %n{nicht}
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
Wenn
ComputerProcess
ist ein
fall
von
DHCPServer
%n{nicht},
dann es gibt
ComputerProgram
und
Computer
um
** Computer
ist ein
fall
von
Computer
%n{nicht} und
** ComputerProgram
ist ein
fall
von
DHCPProgram
%n{nicht} und
computerRunning
** ComputerProcess
and
** Computer
und
programRunning
** ComputerProcess
and
** ComputerProgram
(=>
(
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
Wenn
Physical
ist ein
fall
von
EmailProgram
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
ComputerProcess
%n{nicht} und
** ** entity
ist ein
fall
von
Emailing
%n{nicht} und
** entity
ist ein
instrument
fuer
** ** entity
%n{nicht} und
programRunning
** entity
and
** Physical
%n{nicht}
(=>
(
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
Wenn
Entity
ist ein
fall
von
Feedback
%n{nicht},
dann es gibt
ResourceManagementProgram
,
ComputerProcess
,, ,
SoftwareSystem
, and und
Process
um
rMProgramOf
** ResourceManagementProgram
and
** SoftwareSystem
und
programRunning
** ComputerProcess
and
** SoftwareSystem
und
** Process
ist ein
fall
von
DataTransfer
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
endet an
** ResourceManagementProgram
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
GUIDock
%n{nicht},
dann es gibt
** Object
,
ComputerProcess
, and und
ComputerProgram
um
** ComputerProgram
ist ein
fall
von
ComputerProgram
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
und
** ** Object
ist ein
fall
von
Icon
%n{nicht} und
** ** Object
drueckt
** ComputerProcess
aus und
** ** Object
ist
Inside
hinsichlich
** Object
%n{nicht}
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
Wenn
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht},
dann es gibt
Computer
und
ComputerProgram
um
** Computer
ist ein
fall
von
Computer
%n{nicht} und
computerRunning
** ComputerProcess
and
** Computer
und
** ComputerProgram
ist ein
fall
von
ComputerProgram
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
(=>
(
instance
?Process
Multitasking
)
(
exists
(?Program1 ?Program2)
(
and
(
programRunning
?Process ?Program1)
(
programRunning
?Process ?Program2)
(
not
(
equal
?Program1 ?Program2)))))
QoSontology.kif 1785-1792
Wenn
ComputerProcess
ist ein
fall
von
Multitasking
%n{nicht},
dann es gibt
ComputerProgram
und
** ComputerProgram
um
programRunning
** ComputerProcess
and
** ComputerProgram
und
programRunning
** ComputerProcess
and
** ** ComputerProgram
und
** ComputerProgram
ist gleich
** ** ComputerProgram
nicht
(=>
(
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
Wenn
ComputerProgram
ist ein
fall
von
RMStartApplication
%n{nicht},
dann es gibt
** ComputerProgram
,
ComputerProcess
, and und
** ComputerProgram
Copy um
** ** ComputerProgram
ist ein
fall
von
ComputerProgram
%n{nicht} und
programCopy
** ComputerProgram
Copy and
** ComputerProgram
und
programRunning
** ComputerProcess
and
StartupFn
** ** ComputerProgram
und
** ComputerProcess
ist der
agent
von
** ComputerProgram
Copy %n{nicht}
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
Wenn
Entity
ist ein
fall
von
ProcessState
%n{nicht},
dann es gibt
ComputerProgram
um
** ComputerProgram
ist ein
fall
von
ComputerProgram
%n{nicht} und fuer alle
ComputerProcess
wenn
programRunning
** ComputerProcess
and
** ComputerProgram
,
dann
** Entity
drueckt
** ComputerProcess
aus
(=>
(
instance
?System
SoftwareSystem
)
(
forall
(?Program ?Process)
(=>
(
and
(
part
?Program ?System)
(
programRunning
?Process ?Program))
(
exists
(?Purpose)
(
hasPurpose
?Process ?Purpose)))))
QoSontology.kif 278-286
Wenn
Object
ist ein
fall
von
SoftwareSystem
%n{nicht},
dann fuer alle
** Object
und
ComputerProcess
wenn
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
programRunning
** ComputerProcess
and
** ** Object
,
dann es gibt
Formula
um
** ComputerProcess
hat Zweck von
** Formula
%n{nicht}
(=>
(
instance
?Task
ComputerTask
)
(
exists
(?Program ?Process)
(
and
(
part
?Task ?Process)
(
instance
?Process
Multitasking
)
(
programRunning
?Task ?Program))))
QoSontology.kif 1799-1805
Wenn
ComputerProcess
ist ein
fall
von
ComputerTask
%n{nicht},
dann es gibt
ComputerProgram
und
Object
um
** ComputerProcess
ist ein
teil
von
** Object
%n{nicht} und
** Object
ist ein
fall
von
Multitasking
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
Wenn
maximumReplications
ComputerProgram
and
PositiveInteger
,
dann
** PositiveInteger
ist
groesserAlsOderGleich
die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt %n{nicht}
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
Wenn
minimumReplications
ComputerProgram
and
PositiveInteger
,
dann die Zahl
Faellen
in die
kategorie
die
SymbolicString
beschreibt ist
groesserAlsOderGleich
** PositiveInteger
%n{nicht}
(=>
(
monitorApplicationData
?Time ?Application)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Application)
(
time
?Process ?Time))))
QoSontology.kif 979-984
Wenn
monitorApplicationData
TimePosition
and
ComputerProgram
,
dann es gibt
ComputerProcess
um
programRunning
** ComputerProcess
and
** ComputerProgram
und
** ComputerProcess
besteht
waehrend
** TimePosition
%n{nicht}
(=>
(
rMProgramOf
?RM ?System)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
part
?Application ?System)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process ?Application)
(
agent
?Process ?RMCopy))))
QoSontology.kif 625-632
Wenn
rMProgramOf
ResourceManagementProgram
and
SoftwareSystem
,
dann es gibt
Object
,
ComputerProcess
, and und
** ResourceManagementProgram
Copy um
** Object
ist ein
teil
von
** SoftwareSystem
%n{nicht} und
programCopy
** ResourceManagementProgram
Copy and
** ResourceManagementProgram
und
programRunning
** ComputerProcess
and
** Object
und
** ComputerProcess
ist der
agent
von
** ResourceManagementProgram
Copy %n{nicht}
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
Wenn
runningOn
ComputerProgram
and
Computer
,
dann es gibt
ComputerProcess
um
programRunning
** ComputerProcess
and
** ComputerProgram
und
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