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 数量 是
电脑程序
的
instance
(
domain
programRunning
2
ComputerProgram
)
QoSontology.kif 209-209
程序运行
的 2 数量 是
电脑程序
的
instance
(
instance
programRunning
BinaryPredicate
)
QoSontology.kif 207-207
程序运行
是
二元谓语
的
instance
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 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 989-992
有存在
电脑程序
这样
电脑程序
是
那个 电脑程序
的执行
program
若且唯若
那个 电脑程序
有
可执行
的
attribute
(=>
(
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
如果
物理
是
蘋果app 商店
的
instance
和
那个 物理
是
电脑程序
的执行
program
和
那个 电脑程序
是
running
在
电脑
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
下載
的
instance
和
那个 电脑
是
那个 实体
的源头
(=>
(
and
(
instance
?FQ
ForceQuit
)
(
refers
?FQ ?P)
(
programRunning
?P ?PROG))
(
exists
(?A)
(
and
(
instance
?A
Abort
)
(
processAborted
?A ?P))))
ComputingBrands.kif 3042-3050
如果
实体
是
强迫终止
的
instance
和
那个 实体
提到
电脑程序
和
那个 电脑程序
ROG 是
那个 电脑程序
的执行
program
,
然后 有存在
退出
这样
那个 退出
是
退出
的
instance
和
那个 电脑程序
是
那个 退出
中止的
process
(=>
(
and
(
instance
?Software
SoftwareSystem
)
(
instance
?Process
ComputerProcess
)
(
programRunning
?Process ?Software))
(
exists
(?Hardware)
(
and
(
instance
?Hardware
HardwareSystem
)
(
computerRunning
?Process ?Hardware))))
QoSontology.kif 299-307
如果
电脑程序
是
软件系统
的
instance
和
电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
,
然后 有存在
电脑
这样
那个 电脑
是
硬件系统
的
instance
和
那个 电脑程序
是
running
在
那个 电脑
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
如果
电脑程序
是
电脑程序
的执行
program
和
那个 电脑程序
是
running
在
电脑
,
然后
那个 电脑程序
能够在
那个 电脑
ComputerProcess
(=>
(
and
(
programRunning
?Process ?Program)
(
instance
?Program ?PC)
(
instance
?Computer ?CC)
(
computerRunning
?Process ?Computer))
(
canRunOn
?PC ?CC))
QoSontology.kif 357-363
如果
电脑程序
是
电脑程序
的执行
program
和
那个 电脑程序
是
另一个 有点 电脑程序
的
instance
和
电脑
是
另一个 有点 电脑
的
instance
和
那个 电脑程序
是
running
在
那个 电脑
,
然后
另一个 有点 电脑
应该可以
ComputerProcess
另一个 有点 电脑程序
(=>
(
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
如果
电脑程序
是
关机块
的
shutdown
和
电脑程序
是
电脑程序
的
instance
和
那个 关机块
是
那个 电脑程序
的执行
program
和
那个 电脑程序
出现 的
time
equal
时距
,
然后 有存在
另一个 电脑程序
和
另一个 时距
这样
那个 另外 电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 另外 电脑程序
的执行
program
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
接着
那个 时距
(=>
(
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
如果
电脑程序
是
启动块
的
startup
和
电脑程序
是
电脑程序
的
instance
和
那个 启动块
是
那个 电脑程序
的执行
program
和
那个 电脑程序
出现 的
time
equal
时距
,
然后 有存在
另一个 电脑程序
和
另一个 时距
这样
那个 另外 电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 另外 电脑程序
的执行
program
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
那个 时距
接着
那个 另外 时距
(=>
(
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
如果
电脑程序
的
startup
time
delay
是
持续时间
和
电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
和
那个 电脑程序
出现 的
time
equal
时距
和
物理
是
电脑程序
的
instance
和
那个 物理
出现 的
time
equal
另一个 时距
和
那个 时距
接着
第三 时距
和
那个 第三 时距
接着
那个 另外 时距
,
然后
那个 第三 时距
的
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 1270-1284
如果 有存在
时距
和
另一个 时距
这样
持续时间
是
电脑程序
的
dependency
延迟 和
关机块
是
那个 电脑程序
的
dependency
类别 和
另一个 电脑程序
有 对
那个 电脑程序
的依赖性 和
电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
和
另一个 电脑程序
是
电脑程序
的
instance
和
那个 另外 电脑程序
是
那个 另外 电脑程序
的执行
program
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
第三 时距
finishes
了才到
那个 时距
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
那个 第三 时距
的开始
equal
那个 另外 时距
的结束,
然后
那个 第三 时距
的
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 1254-1268
如果 有存在
时距
和
另一个 时距
这样
持续时间
是
电脑程序
的
dependency
延迟 和
启动块
是
那个 电脑程序
的
dependency
类别 和
另一个 电脑程序
有 对
那个 电脑程序
的依赖性 和
电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
和
另一个 电脑程序
是
电脑程序
的
instance
和
那个 另外 电脑程序
是
那个 另外 电脑程序
的执行
program
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
starts
了才到
第三 时距
和
那个 电脑程序
出现 的
time
equal
那个 时距
和
那个 第三 时距
的结束
equal
那个 时距
的开始,
然后
那个 第三 时距
的
duration
是
那个 持续时间
(=>
(
programRunning
?Process ?Program)
(
exists
(?Computer)
(
runningOn
?Program ?Computer)))
QoSontology.kif 166-169
如果
电脑程序
是
电脑程序
的执行
program
,
然后 有存在
电脑
这样
那个 电脑程序
是 runningOn 在
那个 电脑
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardErrorDevice
?Process ?Device)))
QoSontology.kif 543-546
如果
电脑程序
是
电脑程序
的执行
program
,
然后 有存在
电脑输出设备
这样
那个 电脑输出设备
是
standard
error
device
对于
那个 电脑程序
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardInputDevice
?Process ?Device)))
QoSontology.kif 509-512
如果
电脑程序
是
电脑程序
的执行
program
,
然后 有存在
电脑输入设备
这样
那个 电脑输入设备
是
standard
input
device
对于
那个 电脑程序
(=>
(
programRunning
?Process ?Program)
(
exists
(?Device)
(
standardOutputDevice
?Process ?Device)))
QoSontology.kif 526-529
如果
电脑程序
是
电脑程序
的执行
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
有点 客体
and
有点 电脑
和
有点 客体
I 是
那个 有点 客体
的
instance
和
有点 电脑
I 是
那个 有点 电脑
的
instance
和
manufacturer
那个 有点 客体
and
有认知的主事
,
然后
那个 有认知的主事
desires
那个 有点 电脑
I 是
第三 实体
的执行
program
和
那个 第三 实体
是
running
在
那个 有点 客体
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
如果
电脑程序
是
关机块
的
shutdown
和
电脑程序
是
电脑程序
的
instance
和
那个 关机块
是
那个 电脑程序
的执行
program
和
那个 电脑程序
出现 的
time
equal
时距
,
然后 有存在
另一个 电脑程序
和
另一个 时距
这样
那个 另外 电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 另外 电脑程序
的执行
program
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
那个 另外 时距
接着
那个 时距
(=>
(
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
如果
电脑程序
是
启动块
的
startup
和
电脑程序
是
电脑程序
的
instance
和
那个 启动块
是
那个 电脑程序
的执行
program
和
那个 电脑程序
出现 的
time
equal
时距
,
然后 有存在
另一个 电脑程序
和
另一个 时距
这样
那个 另外 电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 另外 电脑程序
的执行
program
和
那个 另外 电脑程序
出现 的
time
equal
那个 另外 时距
和
那个 时距
接着
那个 另外 时距
(=>
(
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
,
然后 有存在
符号串
,
过程
,, ,
施事体
, and 和
电脑程序
这样
那个 符号串
是
WebPage
的
instance
和
那个 符号串
是
那个 WebSite
的
sub
-string 和
那个 过程
是
AccessingWebPage
的
instance
和
那个 施事体
是
施事体
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 WebBrowser
是
那个 电脑程序
的执行
program
和
那个 电脑程序
causes
那个 过程
和
那个 过程
在
那个 符号串
结束 和
那个 Identifier
表达
那个 施事体
(=>
(
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
如果
物理
是
app
的
instance
,
然后
那个 物理
的 目的 是 有存在
那个 物理
,
实体
, and 和
另一个 实体
这样
那个 另外 实体
是
移动手机
的
instance
和
那个 实体
是
电脑程序
的
instance
和
那个 物理
是
那个 实体
的执行
program
和
那个 实体
是
running
在
那个 另外 实体
(=>
(
instance
?C
CalendaringProgram
)
(
hasPurpose
?C
(
exists
(?T ?P)
(
and
(
instance
?T
CalendarText
)
(
programRunning
?P ?C)
(
result
?P ?T)))))
ComputingBrands.kif 2320-2327
如果
物理
是
日历
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
日历
的
instance
和
那个 物理
是
那个 另外 实体
的执行
program
和
那个 实体
是
那个 另外 实体
的
result
(=>
(
instance
?C
CameraProgram
)
(
hasPurpose
?C
(
exists
(?I ?P)
(
and
(
instance
?I
Image
)
(
programRunning
?P ?C)
(
patient
?P ?I)))))
ComputingBrands.kif 2341-2348
如果
物理
是
照相机
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
Image
的
instance
和
那个 物理
是
那个 另外 实体
的执行
program
和
那个 实体
是
那个 另外 实体
的
patient
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
如果
电脑程序
是
DHCPServer
的
instance
,
然后 有存在
电脑程序
和
电脑
这样
那个 电脑
是
电脑
的
instance
和
那个 电脑程序
是
DHCPProgram
的
instance
和
那个 电脑程序
是
running
在
那个 电脑
和
那个 电脑程序
是
那个 电脑程序
的执行
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
如果
物理
是
发信者
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
和
另一个 实体
这样
那个 实体
是
电脑程序
的
instance
和
那个 另外 实体
是
电邮
的
instance
和
那个 实体
是导致
那个 另外 实体
的
instrument
和
那个 物理
是
那个 实体
的执行
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
如果
实体
是
反馈
的
instance
,
然后 有存在
资源管理计划
,
电脑程序
,, ,
软件系统
, and 和
过程
这样
那个 软件系统
是
那个 资源管理计划
的
rM
program-of 和
那个 软件系统
是
那个 电脑程序
的执行
program
和
那个 过程
是
数据传输
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
那个 资源管理计划
结束
(=>
(
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
,
然后 有存在
另一个 客体
,
电脑程序
, and 和
电脑程序
这样
那个 电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
和
那个 另外 客体
是
图标
的
instance
和
那个 另外 客体
表达
那个 电脑程序
和
那个 另外 客体
在
那个 客体
的
内
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
如果
电脑程序
是
电脑程序
的
instance
,
然后 有存在
电脑
和
电脑程序
这样
那个 电脑
是
电脑
的
instance
和
那个 电脑程序
是
running
在
那个 电脑
和
那个 电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
(=>
(
instance
?Process
Multitasking
)
(
exists
(?Program1 ?Program2)
(
and
(
programRunning
?Process ?Program1)
(
programRunning
?Process ?Program2)
(
not
(
equal
?Program1 ?Program2)))))
QoSontology.kif 1785-1792
如果
电脑程序
是
多任务处理
的
instance
,
然后 有存在
电脑程序
和
另一个 电脑程序
这样
那个 电脑程序
是
那个 电脑程序
的执行
program
和
那个 另外 电脑程序
是
那个 电脑程序
的执行
program
和
那个 电脑程序
不
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
,
然后 有存在
另一个 电脑程序
,
电脑程序
, and 和
那个 电脑程序
Copy 这样
那个 另外 电脑程序
是
电脑程序
的
instance
和
那个 电脑程序
Copy 是
那个 电脑程序
的
copy
和
那个 另外 电脑程序
的
startup
是
那个 电脑程序
的执行
program
和
那个 电脑程序
Copy 是
那个 电脑程序
的
agent
(=>
(
instance
?State
ProcessState
)
(
exists
(?Program)
(
and
(
instance
?Program
ComputerProgram
)
(
forall
(?Process)
(=>
(
programRunning
?Process ?Program)
(
represents
?State ?Process))))))
QoSontology.kif 562-570
如果
实体
是
过程状态
的
instance
,
然后 有存在
电脑程序
这样
那个 电脑程序
是
电脑程序
的
instance
和 对所有
电脑程序
如果
那个 电脑程序
是
那个 电脑程序
的执行
program
,
然后
那个 实体
表达
那个 电脑程序
(=>
(
instance
?System
SoftwareSystem
)
(
forall
(?Program ?Process)
(=>
(
and
(
part
?Program ?System)
(
programRunning
?Process ?Program))
(
exists
(?Purpose)
(
hasPurpose
?Process ?Purpose)))))
QoSontology.kif 278-286
如果
客体
是
软件系统
的
instance
,
然后 对所有
另一个 客体
和
电脑程序
如果
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 电脑程序
的执行
program
,
然后 有存在
公式
这样
那个 电脑程序
的 目的 是
那个 公式
(=>
(
instance
?Task
ComputerTask
)
(
exists
(?Program ?Process)
(
and
(
part
?Task ?Process)
(
instance
?Process
Multitasking
)
(
programRunning
?Task ?Program))))
QoSontology.kif 1799-1805
如果
电脑程序
是
电脑任务
的
instance
,
然后 有存在
电脑程序
和
客体
这样
那个 电脑程序
是
那个 客体
的
part
和
那个 客体
是
多任务处理
的
instance
和
那个 电脑程序
是
那个 电脑程序
的执行
program
(=>
(
maximumReplications
?Application ?MaxCopies)
(
greaterThanOrEqualTo
?MaxCopies
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application)))))
QoSontology.kif 750-755
如果
正整数
是
电脑程序
的
maximum
复制,
然后
那个 正整数
是
greaterThanOrEqualTo
符号串
所描述的类别
instance
的数量
(=>
(
minimumReplications
?Application ?MinCopies)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?Copy
(
programRunning
?Copy ?Application))) ?MinCopies))
QoSontology.kif 733-738
如果
正整数
是
电脑程序
的
minimum
复制,
然后
符号串
所描述的类别
instance
的数量 是
greaterThanOrEqualTo
那个 正整数
(=>
(
monitorApplicationData
?Time ?Application)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Application)
(
time
?Process ?Time))))
QoSontology.kif 979-984
如果
电脑程序
是
时间位置
的
monitor
申请资料,
然后 有存在
电脑程序
这样
那个 电脑程序
是
那个 电脑程序
的执行
program
和
那个 电脑程序
在
那个 时间位置
是 存在
(=>
(
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,
然后 有存在
客体
,
电脑程序
, and 和
那个 资源管理计划
Copy 这样
那个 客体
是
那个 软件系统
的
part
和
那个 资源管理计划
Copy 是
那个 资源管理计划
的
copy
和
那个 客体
是
那个 电脑程序
的执行
program
和
那个 资源管理计划
Copy 是
那个 电脑程序
的
agent
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
如果
电脑程序
是 runningOn 在
电脑
,
然后 有存在
电脑程序
这样
那个 电脑程序
是
那个 电脑程序
的执行
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