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
Le nombre 1 argument de
computerRunning
est une
instance
de
ComputerProcess
(
domain
computerRunning
2
Computer
)
QoSontology.kif 203-203
Le nombre 2 argument de
computerRunning
est une
instance
de
Computer
(
instance
computerRunning
BinaryPredicate
)
QoSontology.kif 200-200
computerRunning
est une
instance
de
pr�dicat binaire
(
instance
computerRunning
CaseRole
)
QoSontology.kif 201-201
computerRunning
est une
instance
de
r�le d�pendant du cas
(
subrelation
computerRunning
instrument
)
QoSontology.kif 199-199
computerRunning
est une
sous
-relation 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
Physique
est une
instance
de
AppleAppStore
programRunning
ComputerProcess
and
physique
computerRunning
ComputerProcess
and
Computer
physique
a pour
but
entit�
entit�
est une
instance
de
DownloadingOverNetwork
entit�
a pour
origine
Computer
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
programRunning
ComputerProcess
and
programme d'ordinateur
computerRunning
ComputerProcess
and
Computer
runsOn
programme d'ordinateur
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
programme d'ordinateur
programme d'ordinateur
est une
instance
de
programme d'ordinateur
Computer
est une
instance
de
Computer
computerRunning
ComputerProcess
and
Computer
canRunOn
programme d'ordinateur
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
objet
and
Computer
objet
I est une
instance
de
objet
Computer
I est une
instance
de
Computer
manufacturer
objet
and
agent cognitif
agent cognitif
desire
programRunning
entit�
and
Computer
I
computerRunning
entit�
and
objet
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
est une
instance
de
SoftwareInstallation
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
est une
instance
de
programme d'ordinateur
ComputerProcess
aboutit
�
entit�
ComputerProcess
a pour
but
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
Programme d'ordinateur
est une
instance
de
SoftwareSystem
ComputerProcess
est une
instance
de
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
Computer
Computer
est une
instance
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
Physique
est une
instance
de
App
physique
a pour
but
physique
entit�
and
entit�
entit�
est une
instance
de
MobileCellPhone
entit�
est une
instance
de
ComputerProcess
programRunning
entit�
and
physique
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
est une
instance
de
DHCPServer
programme d'ordinateur
Computer
Computer
est une
instance
de
Computer
programme d'ordinateur
est une
instance
de
DHCPProgram
computerRunning
ComputerProcess
and
Computer
programRunning
ComputerProcess
and
programme d'ordinateur
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
ComputerProcess
est une
instance
de
ComputerProcess
Computer
programme d'ordinateur
Computer
est une
instance
de
Computer
computerRunning
ComputerProcess
and
Computer
programme d'ordinateur
est une
instance
de
programme d'ordinateur
programRunning
ComputerProcess
and
programme d'ordinateur
(=>
(
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
interval temporel
l'argument
entit�
entit�
entit�
est une
instance
de
ComputerProcess
entit�
est un
agent
de
AutonomousAgent
deviceAccount
UserAccount
and
entit�
entit�
est une
instance
de
Computer
computerRunning
entit�
and
entit�
entit�
est un
instrument
pour
entit�
pendant
interval temporel
a la
force
modale
de
Possibility
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
runningOn
programme d'ordinateur
and
Computer
ComputerProcess
programRunning
ComputerProcess
and
programme d'ordinateur
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