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
Il numero 1 argomenti di
computerRunning
è un
istanza
di
ComputerProcess
(
domain
computerRunning
2
Computer
)
QoSontology.kif 203-203
Il numero 2 argomenti di
computerRunning
è un
istanza
di
Computer
(
instance
computerRunning
BinaryPredicate
)
QoSontology.kif 200-200
computerRunning
è un'
istanza
di
PredicatoBinario
(
instance
computerRunning
CaseRole
)
QoSontology.kif 201-201
computerRunning
è un'
istanza
di
RuoloSemantico
(
subrelation
computerRunning
instrument
)
QoSontology.kif 199-199
computerRunning
è una
sottorelazione
di
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
Entit�Concreta
è un'
istanza
di
AppleAppStore
programRunning
ComputerProcess
and
Entit�Concreta
computerRunning
ComputerProcess
and
Computer
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
DownloadingOverNetwork
Entit�
si
originas in
Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
programRunning
ComputerProcess
and
ProgrammaDiComputer
computerRunning
ComputerProcess
and
Computer
runsOn
ProgrammaDiComputer
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
ProgrammaDiComputer
ProgrammaDiComputer
è un'
istanza
di
ProgrammaDiComputer
Computer
è un'
istanza
di
Computer
computerRunning
ComputerProcess
and
Computer
canRunOn
ProgrammaDiComputer
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
Oggetto
and
Computer
Oggetto
I è un'
istanza
di
Oggetto
Computer
I è un'
istanza
di
Computer
manufacturer
Oggetto
and
AgenteCognitivo
AgenteCognitivo
desidera
s
programRunning
Entit�
and
Computer
I
computerRunning
Entit�
and
Oggetto
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
è un'
istanza
di
SoftwareInstallation
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
è un'
istanza
di
ProgrammaDiComputer
ComputerProcess
fine
s in
Entit�
ComputerProcess
ha
scopo
DigitalData
ROC
computerRunning
DigitalData
ROC and
Entit�
(=>
(
and
(
instance
?Software
SoftwareSystem
)
(
instance
?Process
ComputerProcess
)
(
programRunning
?Process ?Software))
(
exists
(?Hardware)
(
and
(
instance
?Hardware
HardwareSystem
)
(
computerRunning
?Process ?Hardware))))
QoSontology.kif 299-307
ProgrammaDiComputer
è un'
istanza
di
SoftwareSystem
ComputerProcess
è un'
istanza
di
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
Computer
Computer
è un'
istanza
di
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
Entit�Concreta
è un'
istanza
di
App
Entit�Concreta
ha
scopo
Entit�Concreta
Entit�
and
Entit�
Entit�
è un'
istanza
di
MobileCellPhone
Entit�
è un'
istanza
di
ComputerProcess
programRunning
Entit�
and
Entit�Concreta
computerRunning
Entit�
and
Entit�
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
ComputerProcess
è un'
istanza
di
DHCPServer
ProgrammaDiComputer
Computer
Computer
è un'
istanza
di
Computer
ProgrammaDiComputer
è un'
istanza
di
DHCPProgram
computerRunning
ComputerProcess
and
Computer
programRunning
ComputerProcess
and
ProgrammaDiComputer
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
ComputerProcess
è un'
istanza
di
ComputerProcess
Computer
ProgrammaDiComputer
Computer
è un'
istanza
di
Computer
computerRunning
ComputerProcess
and
Computer
ProgrammaDiComputer
è un'
istanza
di
ProgrammaDiComputer
programRunning
ComputerProcess
and
ProgrammaDiComputer
(=>
(
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
IntervalloTemporale
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
ComputerProcess
Entit�
è un
agente
di
AutonomousAgent
deviceAccount
UserAccount
and
Entit�
Entit�
è un'
istanza
di
Computer
computerRunning
Entit�
and
Entit�
Entit�
è uno
strumento
per
Entit�
vales
durante
IntervalloTemporale
ha il modello di forza di
Possibility
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
runningOn
ProgrammaDiComputer
and
Computer
ComputerProcess
programRunning
ComputerProcess
and
ProgrammaDiComputer
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