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
runningOn
Sigma KEE - runningOn
runningOn
appearance as argument number 1
(
documentation
runningOn
EnglishLanguage
"(runningOn ?Program ?Computer) holds if the
ComputerProgram
?Program is being executed on ?Computer.")
QoSontology.kif 189-190
(
domain
runningOn
1
ComputerProgram
)
QoSontology.kif 187-187
域
繼續前進
, 1 and
ComputerProgram
(
domain
runningOn
2
Computer
)
QoSontology.kif 188-188
域
繼續前進
, 2 and
電腦
(
instance
runningOn
BinaryPredicate
)
QoSontology.kif 186-186
例
繼續前進
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
runningOn
"%1 是 runningOn 在 %2 ")
domainEnglishFormat.kif 4462-4462
(
format
ChineseTraditionalLanguage
runningOn
"%1 是 runningOn 在 %2 ")
domainEnglishFormat.kif 4461-4461
(
format
EnglishLanguage
runningOn
"%1 is running on %2")
domainEnglishFormat.kif 4460-4460
(
termFormat
ChineseLanguage
runningOn
"继续前进")
domainEnglishFormat.kif 50620-50620
(
termFormat
ChineseTraditionalLanguage
runningOn
"繼續前進")
domainEnglishFormat.kif 50619-50619
(
termFormat
EnglishLanguage
runningOn
"running on")
domainEnglishFormat.kif 50618-50618
antecedent
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
ComputerProgram
是 runningOn 在
電腦
電腦程序
ComputerProgram
是
電腦程序
的執行
program
電腦程序
是
running
在
電腦
consequent
(=>
(
programRunning
?Process ?Program)
(
exists
(?Computer)
(
runningOn
?Program ?Computer)))
QoSontology.kif 166-169
ComputerProgram
是
電腦程序
的執行
program
電腦
ComputerProgram
是 runningOn 在
電腦
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