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
Die Zahl 1 Argument von
computerRunning
ist ein
fall
von
ComputerProcess
%n{nicht}
(
domain
computerRunning
2
Computer
)
QoSontology.kif 203-203
Die Zahl 2 Argument von
computerRunning
ist ein
fall
von
Computer
%n{nicht}
(
instance
computerRunning
BinaryPredicate
)
QoSontology.kif 200-200
computerRunning
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
computerRunning
CaseRole
)
QoSontology.kif 201-201
computerRunning
ist ein
fall
von
CaseRole
%n{nicht}
(
subrelation
computerRunning
instrument
)
QoSontology.kif 199-199
computerRunning
ist eine
teilrelation
von
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
Wenn
Physical
ist ein
fall
von
AppleAppStore
%n{nicht} und
programRunning
ComputerProcess
and
** Physical
und
computerRunning
** ComputerProcess
and
Computer
,
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
DownloadingOverNetwork
%n{nicht} und
** entity
beginnet an
** Computer
%n{nicht} %n{nicht}
(=>
(
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
(=>
(
and
(
programRunning
?Process ?Program)
(
instance
?Program ?PC)
(
instance
?Computer ?CC)
(
computerRunning
?Process ?Computer))
(
canRunOn
?PC ?CC))
QoSontology.kif 357-363
Wenn
programRunning
ComputerProcess
and
ComputerProgram
und
** ComputerProgram
ist ein
fall
von
** ** ComputerProgram
%n{nicht} und
Computer
ist ein
fall
von
** ** Computer
%n{nicht} und
computerRunning
** ComputerProcess
and
** Computer
,
dann
canRunOn
** ** ComputerProgram
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
Wenn
deviceOS
** Object
and
** Computer
und
** Object
I ist ein
fall
von
** ** Object
%n{nicht} und
** Computer
I ist ein
fall
von
** ** Computer
%n{nicht} und
manufacturer
** ** Object
and
CognitiveAgent
,
dann
** CognitiveAgent
wuenscht
programRunning
** entity
and
** ** Computer
I und
computerRunning
** ** entity
and
** ** Object
I %n{nicht}
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
Wenn
ComputerProcess
ist ein
fall
von
SoftwareInstallation
%n{nicht} und
dataProcessed
** ComputerProcess
and
DigitalData
und
** DigitalData
ist ein
fall
von
ComputerProgram
%n{nicht} und
** ComputerProcess
endet an
Entity
%n{nicht},
dann
** ComputerProcess
hat Zweck von es gibt
** DigitalData
ROC um
computerRunning
** DigitalData
ROC and
** Entity
%n{nicht}
(=>
(
and
(
instance
?Software
SoftwareSystem
)
(
instance
?Process
ComputerProcess
)
(
programRunning
?Process ?Software))
(
exists
(?Hardware)
(
and
(
instance
?Hardware
HardwareSystem
)
(
computerRunning
?Process ?Hardware))))
QoSontology.kif 299-307
Wenn
ComputerProgram
ist ein
fall
von
SoftwareSystem
%n{nicht} und
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
,
dann es gibt
Computer
um
** Computer
ist ein
fall
von
HardwareSystem
%n{nicht} und
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
Wenn
Physical
ist ein
fall
von
App
%n{nicht},
dann
** Physical
hat Zweck von es gibt
** Physical
,
entity
, and und
** entity
um
** ** entity
ist ein
fall
von
MobileCellPhone
%n{nicht} und
** entity
ist ein
fall
von
ComputerProcess
%n{nicht} und
programRunning
** entity
and
** Physical
und
computerRunning
** entity
and
** ** entity
%n{nicht}
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
Wenn
ComputerProcess
ist ein
fall
von
DHCPServer
%n{nicht},
dann es gibt
ComputerProgram
und
Computer
um
** Computer
ist ein
fall
von
Computer
%n{nicht} und
** ComputerProgram
ist ein
fall
von
DHCPProgram
%n{nicht} und
computerRunning
** ComputerProcess
and
** Computer
und
programRunning
** ComputerProcess
and
** ComputerProgram
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
Wenn
ComputerProcess
ist ein
fall
von
ComputerProcess
%n{nicht},
dann es gibt
Computer
und
ComputerProgram
um
** Computer
ist ein
fall
von
Computer
%n{nicht} und
computerRunning
** ComputerProcess
and
** Computer
und
** ComputerProgram
ist ein
fall
von
ComputerProgram
%n{nicht} und
programRunning
** ComputerProcess
and
** ComputerProgram
(=>
(
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
Wenn
loggedInDuring
AutonomousAgent
,
UserAccount
and
TimeInterval
,
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
ComputerProcess
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
deviceAccount
** UserAccount
and
** ** entity
und
** ** entity
ist ein
fall
von
Computer
%n{nicht} und
computerRunning
** entity
and
** ** entity
und
** ** entity
ist ein
instrument
fuer
** entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} hat die modale Kraft von
Possibility
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
Wenn
runningOn
ComputerProgram
and
Computer
,
dann es gibt
ComputerProcess
um
programRunning
** ComputerProcess
and
** ComputerProgram
und
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