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
programRunning
の数値 1 引数は
ComputerProcess
の
instance
では %n
(
domain
programRunning
2
ComputerProgram
)
QoSontology.kif 209-209
programRunning
の数値 2 引数は
コンピュータープログラム
の
instance
では %n
(
instance
programRunning
BinaryPredicate
)
QoSontology.kif 207-207
programRunning
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
programRunning
"%2 %n 是 %1 的执行 program ")
domainEnglishFormat.kif 2071-2071
(
format
ChineseTraditionalLanguage
programRunning
"%2 %n 是 %1 的執行 program ")
domainEnglishFormat.kif 2070-2070
(
format
EnglishLanguage
programRunning
"%2 is %n a program running of %1")
domainEnglishFormat.kif 2069-2069
(
termFormat
ChineseLanguage
programRunning
"程序运行")
domainEnglishFormat.kif 47648-47648
(
termFormat
ChineseTraditionalLanguage
programRunning
"程序運行")
domainEnglishFormat.kif 47647-47647
(
termFormat
EnglishLanguage
programRunning
"program running")
domainEnglishFormat.kif 47646-47646
antecedent
(<=>
(
exists
(?Process)
(
programRunning
?Process ?Program))
(
property
?Program
Executable
))
QoSontology.kif 989-992
ComputerProcess
programRunning
ComputerProcess
and
コンピュータープログラム
コンピュータープログラム
には
attribute
Executable
%n{ない}
(=>
(
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
物理
は
Apple app store
の
instance
では %n
programRunning
ComputerProcess
and
物理
computerRunning
ComputerProcess
and
Computer
物理
は
エンティティー
エンティティー
は
DownloadingOverNetwork
の
instance
では %n
エンティティー
は
Computer
から
originate
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?FQ
ForceQuit
)
(
refers
?FQ ?P)
(
programRunning
?P ?PROG))
(
exists
(?A)
(
and
(
instance
?A
Abort
)
(
processAborted
?A ?P))))
ComputingBrands.kif 3042-3050
エンティティー
は
〔アプリケーションの〕強制終了
の
instance
では %n
エンティティー
は
ComputerProcess
への
reference
を includes %n{ない}
programRunning
ComputerProcess
and
ComputerProcess
ROG
Abort
Abort
は
Abort
の
instance
では %n
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
コンピュータープログラム
は
SoftwareSystem
の
instance
では %n
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
Computer
Computer
は
HardwareSystem
の
instance
では %n
computerRunning
ComputerProcess
and
Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
programRunning
ComputerProcess
and
コンピュータープログラム
computerRunning
ComputerProcess
and
Computer
runsOn
コンピュータープログラム
and
Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
instance
?Program ?PC)
(
instance
?Computer ?CC)
(
computerRunning
?Process ?Computer))
(
canRunOn
?PC ?CC))
QoSontology.kif 357-363
programRunning
ComputerProcess
and
コンピュータープログラム
コンピュータープログラム
は
コンピュータープログラム
の
instance
では %n
Computer
は
Computer
の
instance
では %n
computerRunning
ComputerProcess
and
Computer
canRunOn
コンピュータープログラム
and
Computer
(=>
(
and
(
shutdownOf
?Shutdown ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Shutdown)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time2 ?Time1))))
QoSontology.kif 427-438
shutdownOf
ShutdownBlock
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
ShutdownBlock
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
ComputerProcess
時間間隔
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
startupOf
?Startup ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Startup)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time2))))
QoSontology.kif 387-398
startupOf
StartupBlock
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
StartupBlock
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
ComputerProcess
時間間隔
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
startupTimeDelay
?Application ?Delay)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Application)
(
equal
(
WhenFn
?Process1) ?Time1)
(
instance
?Process2
ComputerProcess
)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time)
(
meetsTemporally
?Time ?Time2))
(
duration
?Time ?Delay))
QoSontology.kif 660-670
startupTimeDelay
コンピュータープログラム
and
時間分
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
物理
は
ComputerProcess
の
instance
では %n
物理
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
時間間隔
の
duration
は
時間分
では %n
(=>
(
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
時間間隔
時間間隔
dependencyDelay
コンピュータープログラム
and
時間分
dependencyType
コンピュータープログラム
and
ShutdownBlock
hasDependency
コンピュータープログラム
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
finish
es %n{ない}
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
の
beginning
は
時間間隔
の
end
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
(=>
(
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
時間間隔
時間間隔
dependencyDelay
コンピュータープログラム
and
時間分
dependencyType
コンピュータープログラム
and
StartupBlock
hasDependency
コンピュータープログラム
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
を
start
s %n{ない}
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
の
end
は
時間間隔
の
beginning
と
equal
では %n
時間間隔
の
duration
は
時間分
では %n
(=>
(
programRunning
?Process ?Program)
(
exists
(?Computer)
(
runningOn
?Program ?Computer)))
QoSontology.kif 166-169
programRunning
ComputerProcess
and
コンピュータープログラム
Computer
runningOn
コンピュータープログラム
and
Computer
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardErrorDevice
?Process ?Device)))
QoSontology.kif 543-546
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerOutputDevice
standardErrorDevice
ComputerProcess
and
ComputerOutputDevice
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardInputDevice
?Process ?Device)))
QoSontology.kif 509-512
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerInputDevice
standardInputDevice
ComputerProcess
and
ComputerInputDevice
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardOutputDevice
?Process ?Device)))
QoSontology.kif 526-529
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerOutputDevice
standardOutputDevice
ComputerProcess
and
ComputerOutputDevice
consequent
(=>
(
and
(
deviceOS
?C ?OS)
(
instance
?CI ?C)
(
instance
?OSI ?OS)
(
manufacturer
?C ?ORG))
(
desires
?ORG
(
and
(
programRunning
?PROC ?OSI)
(
computerRunning
?PROC ?CI))))
ComputingBrands.kif 734-743
deviceOS
オブジェクト
and
Computer
オブジェクト
I は
オブジェクト
の
instance
では %n
Computer
I は
Computer
の
instance
では %n
manufacturer
オブジェクト
and
認識エージェント
認識エージェント
が
programRunning
エンティティー
and
Computer
I
computerRunning
エンティティー
and
オブジェクト
I を
desire
s %n{ない}
(=>
(
and
(
shutdownOf
?Shutdown ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Shutdown)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time2 ?Time1))))
QoSontology.kif 427-438
shutdownOf
ShutdownBlock
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
ShutdownBlock
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
ComputerProcess
時間間隔
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
and
(
startupOf
?Startup ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Startup)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time1 ?Time2))))
QoSontology.kif 387-398
startupOf
StartupBlock
and
コンピュータープログラム
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
StartupBlock
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
ComputerProcess
時間間隔
ComputerProcess
は
ComputerProcess
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間間隔
に
meet
s %n{ない}
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
exists
(?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
(
and
(
instance
?WEBPAGE
WebPage
)
(
subString
?WEBPAGE ?SITE)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?AGENT
AutonomousAgent
)
(
agent
?ACCESSING ?AGENT)
(
programRunning
?BPROC ?BROWSER)
(
causes
?BPROC ?ACCESSING)
(
destination
?ACCESSING ?WEBPAGE)
(
represents
?STRING ?AGENT))))
UXExperimentalTerms.kif 736-748
browserID
Identifier
,
WebBrowser
and
WebSite
記号文字列
工程
,
AutonomousAgent
and
ComputerProcess
記号文字列
は
WebPage
の
instance
では %n
subString
記号文字列
and
WebSite
工程
は
AccessingWebPage
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
programRunning
ComputerProcess
and
WebBrowser
ComputerProcess
は
工程
を
cause
s %n{ない}
工程
は
記号文字列
に
end
s %n{ない}
Identifier
は
AutonomousAgent
を
express
es %n{ない}
(=>
(
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
物理
は
アプリ
の
instance
では %n
物理
は
物理
エンティティー
and
エンティティー
エンティティー
は
MobileCellPhone
の
instance
では %n
エンティティー
は
ComputerProcess
の
instance
では %n
programRunning
エンティティー
and
物理
computerRunning
エンティティー
and
エンティティー
の 目的 %n{ない}
(=>
(
instance
?C
CalendaringProgram
)
(
hasPurpose
?C
(
exists
(?T ?P)
(
and
(
instance
?T
CalendarText
)
(
programRunning
?P ?C)
(
result
?P ?T)))))
ComputingBrands.kif 2320-2327
物理
は
CalendaringProgram
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
カレンダー
の
instance
では %n
programRunning
エンティティー
and
物理
エンティティー
は
エンティティー
の
result
では %n の 目的 %n{ない}
(=>
(
instance
?C
CameraProgram
)
(
hasPurpose
?C
(
exists
(?I ?P)
(
and
(
instance
?I
Image
)
(
programRunning
?P ?C)
(
patient
?P ?I)))))
ComputingBrands.kif 2341-2348
物理
は
カメラ
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
Image
の
instance
では %n
programRunning
エンティティー
and
物理
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
ComputerProcess
は
DHCPServer
の
instance
では %n
コンピュータープログラム
Computer
Computer
は
Computer
の
instance
では %n
コンピュータープログラム
は
DHCPProgram
の
instance
では %n
computerRunning
ComputerProcess
and
Computer
programRunning
ComputerProcess
and
コンピュータープログラム
(=>
(
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
物理
は
メーラー
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
エンティティー
は
電子メール
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n
programRunning
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
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
エンティティー
は
Feedback
の
instance
では %n
ResourceManagementProgram
ComputerProcess
,
SoftwareSystem
and
工程
rMProgramOf
ResourceManagementProgram
and
SoftwareSystem
programRunning
ComputerProcess
and
SoftwareSystem
工程
は
DataTransfer
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
ResourceManagementProgram
に
end
s %n{ない}
(=>
(
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
オブジェクト
は
ドック
の
instance
では %n
オブジェクト
ComputerProcess
and
コンピュータープログラム
コンピュータープログラム
は
コンピュータープログラム
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
オブジェクト
は
アイコン
の
instance
では %n
オブジェクト
は
ComputerProcess
を
express
es %n{ない}
オブジェクト
は
Inside
対
オブジェクト
では %n
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
ComputerProcess
は
ComputerProcess
の
instance
では %n
Computer
コンピュータープログラム
Computer
は
Computer
の
instance
では %n
computerRunning
ComputerProcess
and
Computer
コンピュータープログラム
は
コンピュータープログラム
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
(=>
(
instance
?Process
Multitasking
)
(
exists
(?Program1 ?Program2)
(
and
(
programRunning
?Process ?Program1)
(
programRunning
?Process ?Program2)
(
not
(
equal
?Program1 ?Program2)))))
QoSontology.kif 1785-1792
ComputerProcess
は
Multitasking
の
instance
では %n
コンピュータープログラム
コンピュータープログラム
programRunning
ComputerProcess
and
コンピュータープログラム
programRunning
ComputerProcess
and
コンピュータープログラム
コンピュータープログラム
は
コンピュータープログラム
と
equal
では
(=>
(
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
コンピュータープログラム
は
RMStartApplication
の
instance
では %n
コンピュータープログラム
ComputerProcess
and
コンピュータープログラム
Copy
コンピュータープログラム
は
コンピュータープログラム
の
instance
では %n
programCopy
コンピュータープログラム
Copy and
コンピュータープログラム
programRunning
ComputerProcess
and
StartupFn
コンピュータープログラム
コンピュータープログラム
Copy は
ComputerProcess
の
agent
では %n
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
エンティティー
は
ProcessState
の
instance
では %n
コンピュータープログラム
コンピュータープログラム
は
コンピュータープログラム
の
instance
では %n
ComputerProcess
programRunning
ComputerProcess
and
コンピュータープログラム
エンティティー
は
ComputerProcess
を
express
es %n{ない}
(=>
(
instance
?System
SoftwareSystem
)
(
forall
(?Program ?Process)
(=>
(
and
(
part
?Program ?System)
(
programRunning
?Process ?Program))
(
exists
(?Purpose)
(
hasPurpose
?Process ?Purpose)))))
QoSontology.kif 278-286
オブジェクト
は
SoftwareSystem
の
instance
では %n
オブジェクト
ComputerProcess
オブジェクト
は
オブジェクト
の
part
では %n
programRunning
ComputerProcess
and
オブジェクト
公式
ComputerProcess
は
公式
の 目的 %n{ない}
(=>
(
instance
?Task
ComputerTask
)
(
exists
(?Program ?Process)
(
and
(
part
?Task ?Process)
(
instance
?Process
Multitasking
)
(
programRunning
?Task ?Program))))
QoSontology.kif 1799-1805
ComputerProcess
は
ComputerTask
の
instance
では %n
コンピュータープログラム
オブジェクト
ComputerProcess
は
オブジェクト
の
part
では %n
オブジェクト
は
Multitasking
の
instance
では %n
programRunning
ComputerProcess
and
コンピュータープログラム
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
maximumReplications
コンピュータープログラム
and
正の整数
正の整数
は
エンティティー
class
の
instances
の数
greater
では %n
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
minimumReplications
コンピュータープログラム
and
正の整数
エンティティー
class
の
instances
の数 は
正の整数
greater
では %n
(=>
(
monitorApplicationData
?Time ?Application)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Application)
(
time
?Process ?Time))))
QoSontology.kif 979-984
monitorApplicationData
時間位置
and
コンピュータープログラム
ComputerProcess
programRunning
ComputerProcess
and
コンピュータープログラム
ComputerProcess
は
時間位置
の
during
exists %n{ない}
(=>
(
rMProgramOf
?RM ?System)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
part
?Application ?System)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process ?Application)
(
agent
?Process ?RMCopy))))
QoSontology.kif 625-632
rMProgramOf
ResourceManagementProgram
and
SoftwareSystem
オブジェクト
ComputerProcess
and
ResourceManagementProgram
Copy
オブジェクト
は
SoftwareSystem
の
part
では %n
programCopy
ResourceManagementProgram
Copy and
ResourceManagementProgram
programRunning
ComputerProcess
and
オブジェクト
ResourceManagementProgram
Copy は
ComputerProcess
の
agent
では %n
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
runningOn
コンピュータープログラム
and
Computer
ComputerProcess
programRunning
ComputerProcess
and
コンピュータープログラム
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