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
域
程序運行
, 1 and
電腦程序
(
domain
programRunning
2
ComputerProgram
)
QoSontology.kif 209-209
域
程序運行
, 2 and
ComputerProgram
(
instance
programRunning
BinaryPredicate
)
QoSontology.kif 207-207
例
程序運行
and
BinaryPredicate
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
電腦程序
ComputerProgram
是
電腦程序
的執行
program
屬性
ComputerProgram
and
可執行
(=>
(
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
例
Physical
and
蘋果app 商店
Physical
是
電腦程序
的執行
program
電腦程序
是
running
在
電腦
有目的
Physical
and
entity
例
entity
and
下載
起源
entity
and
電腦
(=>
(
and
(
instance
?FQ
ForceQuit
)
(
refers
?FQ ?P)
(
programRunning
?P ?PROG))
(
exists
(?A)
(
and
(
instance
?A
Abort
)
(
processAborted
?A ?P))))
ComputingBrands.kif 3042-3050
例
Entity
and
強迫終止
參照
Entity
and
電腦程序
電腦程序
ROG 是
電腦程序
的執行
program
退出
例
退出
and
退出
電腦程序
是
退出
中止的
process
(=>
(
and
(
instance
?Software
SoftwareSystem
)
(
instance
?Process
ComputerProcess
)
(
programRunning
?Process ?Software))
(
exists
(?Hardware)
(
and
(
instance
?Hardware
HardwareSystem
)
(
computerRunning
?Process ?Hardware))))
QoSontology.kif 299-307
例
ComputerProgram
and
軟件系統
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
電腦
例
電腦
and
硬件系統
電腦程序
是
running
在
電腦
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
ComputerProgram
是
電腦程序
的執行
program
電腦程序
是
running
在
電腦
ComputerProgram
能够在
電腦
ComputerProcess
(=>
(
and
(
programRunning
?Process ?Program)
(
instance
?Program ?PC)
(
instance
?Computer ?CC)
(
computerRunning
?Process ?Computer))
(
canRunOn
?PC ?CC))
QoSontology.kif 357-363
ComputerProgram
是
電腦程序
的執行
program
例
ComputerProgram
and
ComputerProgram
例
電腦
and
電腦
電腦程序
是
running
在
電腦
電腦
應該可以
ComputerProcess
ComputerProgram
(=>
(
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
ComputerProgram
是
關機塊
的
shutdown
例
電腦程序
and
電腦程序
關機塊
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
電腦程序
TimeInterval
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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
ComputerProgram
是
啟動塊
的
startup
例
電腦程序
and
電腦程序
啟動塊
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
電腦程序
TimeInterval
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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
ComputerProgram
的
startup
time
delay
是
TimeDuration
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
例
Physical
and
電腦程序
等於
何時
Physical
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
持續時間
TimeInterval
and
TimeDuration
(=>
(
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
TimeInterval
TimeInterval
TimeDuration
是
ComputerProgram
的
dependency
延遲
關機塊
是
ComputerProgram
的
dependency
類別
ComputerProgram
有 對
ComputerProgram
的依賴性
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
飾面
TimeInterval
and
TimeInterval
等於
何時
電腦程序
and
TimeInterval
等於
開始
TimeInterval
and
結束
TimeInterval
持續時間
TimeInterval
and
TimeDuration
(=>
(
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
TimeInterval
TimeInterval
TimeDuration
是
ComputerProgram
的
dependency
延遲
啟動塊
是
ComputerProgram
的
dependency
類別
ComputerProgram
有 對
ComputerProgram
的依賴性
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
啟動
TimeInterval
and
TimeInterval
等於
何時
電腦程序
and
TimeInterval
等於
結束
TimeInterval
and
開始
TimeInterval
持續時間
TimeInterval
and
TimeDuration
(=>
(
programRunning
?Process ?Program)
(
exists
(?Computer)
(
runningOn
?Program ?Computer)))
QoSontology.kif 166-169
ComputerProgram
是
電腦程序
的執行
program
電腦
ComputerProgram
是 runningOn 在
電腦
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardErrorDevice
?Process ?Device)))
QoSontology.kif 543-546
ComputerProgram
是
電腦程序
的執行
program
電腦輸出設備
電腦輸出設備
是
standard
error
device
對於
電腦程序
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardInputDevice
?Process ?Device)))
QoSontology.kif 509-512
ComputerProgram
是
電腦程序
的執行
program
電腦輸入設備
電腦輸入設備
是
standard
input
device
對於
電腦程序
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardOutputDevice
?Process ?Device)))
QoSontology.kif 526-529
ComputerProgram
是
電腦程序
的執行
program
電腦輸出設備
電腦輸出設備
是
standard
output
device
對於
電腦程序
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
Object
and
電腦
例
Object
I and
Object
例
電腦
I and
電腦
manufacturer
Object
and
CognitiveAgent
慾望
CognitiveAgent
and
電腦
I 是
entity
的執行
program
entity
是
running
在
Object
I
(=>
(
and
(
shutdownOf
?Shutdown ?Application)
(
instance
?Process1
ComputerProcess
)
(
programRunning
?Process1 ?Shutdown)
(
equal
(
WhenFn
?Process1) ?Time1))
(
exists
(?Process2 ?Time2)
(
and
(
instance
?Process2
ComputerProcess
)
(
programRunning
?Process2 ?Application)
(
equal
(
WhenFn
?Process2) ?Time2)
(
meetsTemporally
?Time2 ?Time1))))
QoSontology.kif 427-438
ComputerProgram
是
關機塊
的
shutdown
例
電腦程序
and
電腦程序
關機塊
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
電腦程序
TimeInterval
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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
ComputerProgram
是
啟動塊
的
startup
例
電腦程序
and
電腦程序
啟動塊
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
電腦程序
TimeInterval
例
電腦程序
and
電腦程序
ComputerProgram
是
電腦程序
的執行
program
等於
何時
電腦程序
and
TimeInterval
短暫相遇
TimeInterval
and
TimeInterval
(=>
(
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
Identifier
是
WebBrowser
的
ID
當取用
WebSite
SymbolicString
Process
,
AutonomousAgent
and
電腦程序
例
SymbolicString
and
WebPage
SymbolicString
是
WebSite
的
sub
-string
例
Process
and
AccessingWebPage
例
AutonomousAgent
and
AutonomousAgent
agent
Process
and
AutonomousAgent
WebBrowser
是
電腦程序
的執行
program
原因
電腦程序
and
Process
目的地
Process
and
SymbolicString
代表
Identifier
and
AutonomousAgent
(=>
(
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
例
Physical
and
app
有目的
Physical
and
Physical
entity
and
entity
例
entity
and
移動手機
例
entity
and
電腦程序
Physical
是
entity
的執行
program
entity
是
running
在
entity
(=>
(
instance
?C
CalendaringProgram
)
(
hasPurpose
?C
(
exists
(?T ?P)
(
and
(
instance
?T
CalendarText
)
(
programRunning
?P ?C)
(
result
?P ?T)))))
ComputingBrands.kif 2320-2327
例
Physical
and
日曆
有目的
Physical
and
entity
entity
例
entity
and
日曆
Physical
是
entity
的執行
program
結果
entity
and
entity
(=>
(
instance
?C
CameraProgram
)
(
hasPurpose
?C
(
exists
(?I ?P)
(
and
(
instance
?I
Image
)
(
programRunning
?P ?C)
(
patient
?P ?I)))))
ComputingBrands.kif 2341-2348
例
Physical
and
照相機
有目的
Physical
and
entity
entity
例
entity
and
Image
Physical
是
entity
的執行
program
患者
entity
and
entity
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
例
電腦程序
and
DHCPServer
ComputerProgram
電腦
例
電腦
and
電腦
例
ComputerProgram
and
DHCPProgram
電腦程序
是
running
在
電腦
ComputerProgram
是
電腦程序
的執行
program
(=>
(
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
例
Physical
and
發信者
有目的
Physical
and
entity
entity
例
entity
and
電腦程序
例
entity
and
電郵
儀器
entity
and
entity
Physical
是
entity
的執行
program
(=>
(
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
例
Entity
and
反饋
資源管理計劃
電腦程序
,
軟件系統
and
Process
軟件系統
是
資源管理計劃
的
rM
program-of
軟件系統
是
電腦程序
的執行
program
例
Process
and
數據傳輸
患者
Process
and
Entity
目的地
Process
and
資源管理計劃
(=>
(
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
例
Object
and
插槽
Object
電腦程序
and
ComputerProgram
例
ComputerProgram
and
ComputerProgram
ComputerProgram
是
電腦程序
的執行
program
例
Object
and
Icon
代表
Object
and
電腦程序
方位
Object
,
Object
and
內
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
例
電腦程序
and
電腦程序
電腦
ComputerProgram
例
電腦
and
電腦
電腦程序
是
running
在
電腦
例
ComputerProgram
and
ComputerProgram
ComputerProgram
是
電腦程序
的執行
program
(=>
(
instance
?Process
Multitasking
)
(
exists
(?Program1 ?Program2)
(
and
(
programRunning
?Process ?Program1)
(
programRunning
?Process ?Program2)
(
not
(
equal
?Program1 ?Program2)))))
QoSontology.kif 1785-1792
例
電腦程序
and
多任務處理
ComputerProgram
ComputerProgram
ComputerProgram
是
電腦程序
的執行
program
ComputerProgram
是
電腦程序
的執行
program
等於
ComputerProgram
and
ComputerProgram
(=>
(
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
例
ComputerProgram
and
RMStartApplication
ComputerProgram
電腦程序
and
ComputerProgram
Copy
例
ComputerProgram
and
ComputerProgram
ComputerProgram
Copy 是
ComputerProgram
的
copy
ComputerProgram
的
startup
是
電腦程序
的執行
program
agent
電腦程序
and
ComputerProgram
Copy
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
例
Entity
and
過程狀態
ComputerProgram
例
ComputerProgram
and
ComputerProgram
電腦程序
ComputerProgram
是
電腦程序
的執行
program
代表
Entity
and
電腦程序
(=>
(
instance
?System
SoftwareSystem
)
(
forall
(?Program ?Process)
(=>
(
and
(
part
?Program ?System)
(
programRunning
?Process ?Program))
(
exists
(?Purpose)
(
hasPurpose
?Process ?Purpose)))))
QoSontology.kif 278-286
例
Object
and
軟件系統
Object
電腦程序
部分
Object
and
Object
Object
是
電腦程序
的執行
program
Formula
有目的
電腦程序
and
Formula
(=>
(
instance
?Task
ComputerTask
)
(
exists
(?Program ?Process)
(
and
(
part
?Task ?Process)
(
instance
?Process
Multitasking
)
(
programRunning
?Task ?Program))))
QoSontology.kif 1799-1805
例
電腦程序
and
電腦任務
ComputerProgram
Object
部分
電腦程序
and
Object
例
Object
and
多任務處理
ComputerProgram
是
電腦程序
的執行
program
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
PositiveInteger
是
ComputerProgram
的
maximum
複製
大於或等於
PositiveInteger
and
基數
卡帕
SymbolicString
and
ComputerProgram
是
SymbolicString
的執行
program
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
PositiveInteger
是
ComputerProgram
的
minimum
複製
大於或等於
基數
卡帕
SymbolicString
and
ComputerProgram
是
SymbolicString
的執行
program
and
PositiveInteger
(=>
(
monitorApplicationData
?Time ?Application)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Application)
(
time
?Process ?Time))))
QoSontology.kif 979-984
ComputerProgram
是
TimePosition
的
monitor
申請資料
電腦程序
ComputerProgram
是
電腦程序
的執行
program
時間
電腦程序
and
TimePosition
(=>
(
rMProgramOf
?RM ?System)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
part
?Application ?System)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process ?Application)
(
agent
?Process ?RMCopy))))
QoSontology.kif 625-632
軟件系統
是
資源管理計劃
的
rM
program-of
Object
電腦程序
and
資源管理計劃
Copy
部分
Object
and
軟件系統
資源管理計劃
Copy 是
資源管理計劃
的
copy
Object
是
電腦程序
的執行
program
agent
電腦程序
and
資源管理計劃
Copy
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
ComputerProgram
是 runningOn 在
電腦
電腦程序
ComputerProgram
是
電腦程序
的執行
program
電腦程序
是
running
在
電腦
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