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
runsOn
Sigma KEE - runsOn
runsOn
appearance as argument number 1
(
documentation
runsOn
EnglishLanguage
"(runsOn ?Program ?Computer) means that ?Program is capable of running on ?Computer with its current configuration of installed software.")
QoSontology.kif 340-341
(
domain
runsOn
1
ComputerProgram
)
QoSontology.kif 338-338
Die Zahl 1 Argument von
runsOn
ist ein
fall
von
ComputerProgram
%n{nicht}
(
domain
runsOn
2
Computer
)
QoSontology.kif 339-339
Die Zahl 2 Argument von
runsOn
ist ein
fall
von
Computer
%n{nicht}
(
instance
runsOn
AsymmetricRelation
)
QoSontology.kif 337-337
runsOn
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
runsOn
BinaryPredicate
)
QoSontology.kif 336-336
runsOn
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
runsOn
"%1 %n 能够在 %2
ComputerProcess
")
domainEnglishFormat.kif 2191-2191
(
format
ChineseTraditionalLanguage
runsOn
"%1 %n 能够在 %2
ComputerProcess
")
domainEnglishFormat.kif 2190-2190
(
format
EnglishLanguage
runsOn
"%1 can %n be
ComputerProcess
es on %2")
domainEnglishFormat.kif 2189-2189
(
termFormat
ChineseLanguage
runsOn
"能够操作")
domainEnglishFormat.kif 50625-50625
(
termFormat
ChineseTraditionalLanguage
runsOn
"能够操作")
domainEnglishFormat.kif 50624-50624
(
termFormat
EnglishLanguage
runsOn
"runs on")
domainEnglishFormat.kif 50623-50623
consequent
(=>
(
and
(
instance
?B
BasebandForIPhone
)
(
instance
?I
AppleIPhone
))
(
runsOn
?B ?I))
ComputingBrands.kif 2242-2246
Wenn
ComputerProgram
ist ein
fall
von
BasebandForIPhone
%n{nicht} und
Computer
ist ein
fall
von
AppleIPhone
%n{nicht},
dann
runsOn
** ComputerProgram
and
** Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
Wenn
programRunning
ComputerProcess
and
ComputerProgram
und
computerRunning
** ComputerProcess
and
Computer
,
dann
runsOn
** 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