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 and
電腦程序
(
domain
computerRunning
2
Computer
)
QoSontology.kif 203-203
域
電腦運行
, 2 and
電腦
(
instance
computerRunning
BinaryPredicate
)
QoSontology.kif 200-200
例
電腦運行
and
BinaryPredicate
(
instance
computerRunning
CaseRole
)
QoSontology.kif 201-201
例
電腦運行
and
CaseRole
(
subrelation
computerRunning
instrument
)
QoSontology.kif 199-199
子關係
電腦運行
and
儀器
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
例
Physical
and
蘋果app 商店
Physical
是
電腦程序
的執行
program
電腦程序
是
running
在
電腦
有目的
Physical
and
entity
例
entity
and
下載
起源
entity
and
電腦
(=>
(
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
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
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
例
電腦程序
and
安裝
數字數據
是由
電腦程序
processed
例
數字數據
and
ComputerProgram
目的地
電腦程序
and
Entity
有目的
電腦程序
and
數字數據
ROC
數字數據
ROC 是
running
在
Entity
(=>
(
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
在
電腦
(=>
(
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
?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
?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
(=>
(
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
AutonomousAgent
,
用戶帳號
and
TimeInterval
模態屬性
持有期間
TimeInterval
and
entity
entity
例
entity
and
電腦程序
agent
entity
and
AutonomousAgent
deviceAccount
用戶帳號
and
entity
例
entity
and
電腦
entity
是
running
在
entity
儀器
entity
and
entity
and
可能性
(=>
(
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