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
The number 1 argument of
running on
is an
instance
of
computer program
(
domain
runningOn
2
Computer
)
QoSontology.kif 188-188
The number 2 argument of
running on
is an
instance
of
computer
(
instance
runningOn
BinaryPredicate
)
QoSontology.kif 186-186
running on
is an
instance
of
binary predicate
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
If
a computer program
is
running
on
a computer
,
then there exists
a computer process
such that
the computer program
is a
program
running of
the computer process
and
the computer process
is
running
on
the computer
consequent
(=>
(
programRunning
?Process ?Program)
(
exists
(?Computer)
(
runningOn
?Program ?Computer)))
QoSontology.kif 166-169
If
a computer program
is a
program
running of
a computer process
,
then there exists
a computer
such that
the computer program
is
running
on
the 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