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
computerRunning
Sigma KEE - computerRunning
computerRunning
appearance as argument number 1
(
documentation
computerRunning
EnglishLanguage
"(
computerRunning
?Process ?Computer) means that the ComputerProcess ?Process is running on ?Computer.")
QoSontology.kif 204-205
(
domain
computerRunning
1
ComputerProcess
)
QoSontology.kif 202-202
电脑运行
的 1 数量 是
电脑程序
的
instance
(
domain
computerRunning
2
Computer
)
QoSontology.kif 203-203
电脑运行
的 2 数量 是
电脑
的
instance
(
instance
computerRunning
BinaryPredicate
)
QoSontology.kif 200-200
电脑运行
是
二元谓语
的
instance
(
instance
computerRunning
CaseRole
)
QoSontology.kif 201-201
电脑运行
是
格角色
的
instance
(
subrelation
computerRunning
instrument
)
QoSontology.kif 199-199
电脑运行
是
工具
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
computerRunning
"%1 是 running 在 %2 ")
domainEnglishFormat.kif 3058-3058
(
format
ChineseTraditionalLanguage
computerRunning
"%1 是 running 在 %2 ")
domainEnglishFormat.kif 3057-3057
(
format
EnglishLanguage
computerRunning
"%1 is running on %2")
domainEnglishFormat.kif 3056-3056
(
termFormat
ChineseLanguage
computerRunning
"电脑运行")
domainEnglishFormat.kif 16392-16392
(
termFormat
ChineseTraditionalLanguage
computerRunning
"電腦運行")
domainEnglishFormat.kif 16391-16391
(
termFormat
EnglishLanguage
computerRunning
"computer running")
domainEnglishFormat.kif 16390-16390
antecedent
(=>
(
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
(
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
另一个 有点 电脑程序
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
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
如果
电脑程序
是
安装
的
instance
和
数字数据
是由
那个 电脑程序
processed
和
那个 数字数据
是
电脑程序
的
instance
和
那个 电脑程序
在
实体
结束,
然后
那个 电脑程序
的 目的 是 有存在
那个 数字数据
ROC 这样
那个 数字数据
ROC 是
running
在
那个 实体
(=>
(
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
在
那个 电脑
(=>
(
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
?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
?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
(=>
(
loggedInDuring
?A ?UA ?T)
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P ?C)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?A)
(
deviceAccount
?UA ?C)
(
instance
?C
Computer
)
(
computerRunning
?P ?C)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 4347-4358
如果
loggedInDuring
施事体
,
用户帐号
and
时距
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
电脑程序
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
deviceAccount
那个 用户帐号
and
那个 另外 实体
和
那个 另外 实体
是
电脑
的
instance
和
那个 实体
是
running
在
那个 另外 实体
和
那个 另外 实体
是导致
那个 实体
的
instrument
在
那个 时距
holdsDuring
的声明 has
可能性
的语气
(=>
(
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