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
computerRunning
Sigma KEE - computerRunning
computerRunning
appearance as argument number 1
(
documentation
computerRunning
EnglishLanguage
"(
computerRunning
?Process ?Computer) means that the ComputerProcess ?Process is running on ?Computer.")
QoSontology.kif 204-205
(
domain
computerRunning
1
ComputerProcess
)
QoSontology.kif 202-202
O argumento numero 1 de
computerRunning
e' uma
instancia
de
ComputerProcess
(
domain
computerRunning
2
Computer
)
QoSontology.kif 203-203
O argumento numero 2 de
computerRunning
e' uma
instancia
de
Computer
(
instance
computerRunning
BinaryPredicate
)
QoSontology.kif 200-200
computerRunning
e' uma
instancia
de
Predicado Binario
(
instance
computerRunning
CaseRole
)
QoSontology.kif 201-201
computerRunning
e' uma
instancia
de
Role em Caso
(
subrelation
computerRunning
instrument
)
QoSontology.kif 199-199
computerRunning
e' uma
sub
-relacao de
instrument
appearance as argument number 2
(
format
ChineseLanguage
computerRunning
"%1 是 running 在 %2 ")
domainEnglishFormat.kif 3058-3058
(
format
ChineseTraditionalLanguage
computerRunning
"%1 是 running 在 %2 ")
domainEnglishFormat.kif 3057-3057
(
format
EnglishLanguage
computerRunning
"%1 is running on %2")
domainEnglishFormat.kif 3056-3056
(
termFormat
ChineseLanguage
computerRunning
"电脑运行")
domainEnglishFormat.kif 16392-16392
(
termFormat
ChineseTraditionalLanguage
computerRunning
"電腦運行")
domainEnglishFormat.kif 16391-16391
(
termFormat
EnglishLanguage
computerRunning
"computer running")
domainEnglishFormat.kif 16390-16390
antecedent
(=>
(
and
(
instance
?A
AppleAppStore
)
(
programRunning
?P ?A)
(
computerRunning
?P ?C))
(
hasPurpose
?A
(
exists
(?D)
(
and
(
instance
?D
DownloadingOverNetwork
)
(
origin
?D ?C)))))
ComputingBrands.kif 1990-1999
Fisico
e' uma
instancia
de
AppleAppStore
programRunning
ComputerProcess
and
Fisico
computerRunning
ComputerProcess
and
Computer
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
DownloadingOverNetwork
Entidade
tem como
origem
Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
programRunning
ComputerProcess
and
Programa de Computador
computerRunning
ComputerProcess
and
Computer
runsOn
Programa de Computador
and
Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
instance
?Program ?PC)
(
instance
?Computer ?CC)
(
computerRunning
?Process ?Computer))
(
canRunOn
?PC ?CC))
QoSontology.kif 357-363
programRunning
ComputerProcess
and
Programa de Computador
Programa de Computador
e' uma
instancia
de
Programa de Computador
Computer
e' uma
instancia
de
Computer
computerRunning
ComputerProcess
and
Computer
canRunOn
Programa de Computador
and
Computer
consequent
(=>
(
and
(
deviceOS
?C ?OS)
(
instance
?CI ?C)
(
instance
?OSI ?OS)
(
manufacturer
?C ?ORG))
(
desires
?ORG
(
and
(
programRunning
?PROC ?OSI)
(
computerRunning
?PROC ?CI))))
ComputingBrands.kif 734-743
deviceOS
Objeto
and
Computer
Objeto
I e' uma
instancia
de
Objeto
Computer
I e' uma
instancia
de
Computer
manufacturer
Objeto
and
Agente Cognitivo
Agente Cognitivo
deseja
programRunning
Entidade
and
Computer
I
computerRunning
Entidade
and
Objeto
I
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
ComputerProcess
e' uma
instancia
de
SoftwareInstallation
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
e' uma
instancia
de
Programa de Computador
ComputerProcess
termina
em
Entidade
ComputerProcess
tem por
fim
DigitalData
ROC
computerRunning
DigitalData
ROC and
Entidade
(=>
(
and
(
instance
?Software
SoftwareSystem
)
(
instance
?Process
ComputerProcess
)
(
programRunning
?Process ?Software))
(
exists
(?Hardware)
(
and
(
instance
?Hardware
HardwareSystem
)
(
computerRunning
?Process ?Hardware))))
QoSontology.kif 299-307
Programa de Computador
e' uma
instancia
de
SoftwareSystem
ComputerProcess
e' uma
instancia
de
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
Computer
Computer
e' uma
instancia
de
HardwareSystem
computerRunning
ComputerProcess
and
Computer
(=>
(
instance
?A
App
)
(
hasPurpose
?A
(
exists
(?A ?P ?C)
(
and
(
instance
?C
MobileCellPhone
)
(
instance
?P
ComputerProcess
)
(
programRunning
?P ?A)
(
computerRunning
?P ?C)))))
ComputingBrands.kif 1960-1968
Fisico
e' uma
instancia
de
App
Fisico
tem por
fim
Fisico
Entidade
and
Entidade
Entidade
e' uma
instancia
de
MobileCellPhone
Entidade
e' uma
instancia
de
ComputerProcess
programRunning
Entidade
and
Fisico
computerRunning
Entidade
and
Entidade
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
ComputerProcess
e' uma
instancia
de
DHCPServer
Programa de Computador
Computer
Computer
e' uma
instancia
de
Computer
Programa de Computador
e' uma
instancia
de
DHCPProgram
computerRunning
ComputerProcess
and
Computer
programRunning
ComputerProcess
and
Programa de Computador
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
ComputerProcess
e' uma
instancia
de
ComputerProcess
Computer
Programa de Computador
Computer
e' uma
instancia
de
Computer
computerRunning
ComputerProcess
and
Computer
Programa de Computador
e' uma
instancia
de
Programa de Computador
programRunning
ComputerProcess
and
Programa de Computador
(=>
(
loggedInDuring
?A ?UA ?T)
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P ?C)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?A)
(
deviceAccount
?UA ?C)
(
instance
?C
Computer
)
(
computerRunning
?P ?C)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 4347-4358
loggedInDuring
AutonomousAgent
,
UserAccount
and
Intervalo Temporal
o argumento
Entidade
Entidade
Entidade
e' uma
instancia
de
ComputerProcess
Entidade
e' um
agente
de
AutonomousAgent
deviceAccount
UserAccount
and
Entidade
Entidade
e' uma
instancia
de
Computer
computerRunning
Entidade
and
Entidade
Entidade
e' um
instrumento
para
Entidade
vale
durante
Intervalo Temporal
tem a
forca
modal
de
Possibility
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
runningOn
Programa de Computador
and
Computer
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
computerRunning
ComputerProcess
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