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
IhramClothing
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
Die Zahl 1 Argument von
runningOn
ist ein
fall
von
ComputerProgram
%n{nicht}
(
domain
runningOn
2
Computer
)
QoSontology.kif 188-188
Die Zahl 2 Argument von
runningOn
ist ein
fall
von
Computer
%n{nicht}
(
instance
runningOn
BinaryPredicate
)
QoSontology.kif 186-186
runningOn
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
runningOn
ComputerProgram
and
Computer
,
dann es gibt
ComputerProcess
um
programRunning
** ComputerProcess
and
** ComputerProgram
und
computerRunning
** ComputerProcess
and
** Computer
consequent
(=>
(
programRunning
?Process ?Program)
(
exists
(?Computer)
(
runningOn
?Program ?Computer)))
QoSontology.kif 166-169
Wenn
programRunning
ComputerProcess
and
ComputerProgram
,
dann es gibt
Computer
um
runningOn
** ComputerProgram
and
** Computer
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