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
域
能够操作
, 1 and
ComputerProgram
(
domain
runsOn
2
Computer
)
QoSontology.kif 339-339
域
能够操作
, 2 and
電腦
(
instance
runsOn
AsymmetricRelation
)
QoSontology.kif 337-337
例
能够操作
and
AsymmetricRelation
(
instance
runsOn
BinaryPredicate
)
QoSontology.kif 336-336
例
能够操作
and
BinaryPredicate
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
例
ComputerProgram
and
基帶
例
電腦
and
iPhone
ComputerProgram
能够在
電腦
ComputerProcess
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
ComputerProgram
是
電腦程序
的執行
program
電腦程序
是
running
在
電腦
ComputerProgram
能够在
電腦
ComputerProcess
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