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
The number 1 argument of
computer running
is an
instance
of
computer process
(
domain
computerRunning
2
Computer
)
QoSontology.kif 203-203
The number 2 argument of
computer running
is an
instance
of
computer
(
instance
computerRunning
BinaryPredicate
)
QoSontology.kif 200-200
computer running
is an
instance
of
binary predicate
(
instance
computerRunning
CaseRole
)
QoSontology.kif 201-201
computer running
is an
instance
of
case role
(
subrelation
computerRunning
instrument
)
QoSontology.kif 199-199
computer running
is a
subrelation
of
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
If
a physical
is an
instance
of
Apple app store
and
the physical
is a
program
running of
a computer process
and
the computer process
is
running
on
a computer
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
downloading
and
the entity
originate
s at
the computer
(=>
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))
(
runsOn
?Program ?Computer))
QoSontology.kif 343-347
If
a computer program
is a
program
running of
a computer process
and
the computer process
is
running
on
a computer
,
then
the computer program
can be
ComputerProcesses
on
the computer
(=>
(
and
(
programRunning
?Process ?Program)
(
instance
?Program ?PC)
(
instance
?Computer ?CC)
(
computerRunning
?Process ?Computer))
(
canRunOn
?PC ?CC))
QoSontology.kif 357-363
If
a computer program
is a
program
running of
a computer process
and
the computer program
is an
instance
of
another kind of computer program
and
a computer
is an
instance
of
another kind of computer
and
the computer process
is
running
on
the computer
,
then
another kind of computer
is capable of
ComputerProcessing
another kind of computer program
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
If
device OS
a kind of object
and
a kind of computer
and
a kind of object
I is an
instance
of
the kind of object
and
a kind of computer
I is an
instance
of
the kind of computer
and the maker of
the kind of object
is
a cognitive agent
,
then
the cognitive agent
desire
s
the kind of computer
I is a
program
running of
a third entity
and
the third entity
is
running
on
the kind of object
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
If
a computer process
is an
instance
of
installation
and
a digital data
is
processed
by
the computer process
and
the digital data
is an
instance
of
computer program
and
the computer process
end
s up at
an entity
,
then
the computer process
has the purpose there exists
the digital data
ROC such that
the digital data
ROC is
running
on
the entity
(=>
(
and
(
instance
?Software
SoftwareSystem
)
(
instance
?Process
ComputerProcess
)
(
programRunning
?Process ?Software))
(
exists
(?Hardware)
(
and
(
instance
?Hardware
HardwareSystem
)
(
computerRunning
?Process ?Hardware))))
QoSontology.kif 299-307
If
a computer program
is an
instance
of
software system
and
a computer process
is an
instance
of
computer process
and
the computer program
is a
program
running of
the computer process
,
then there exists
a computer
such that
the computer
is an
instance
of
hardware system
and
the computer process
is
running
on
the 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
If
a physical
is an
instance
of
app
,
then
the physical
has the purpose there exist
the physical
,
an entity
and
another entity
such that
the other entity
is an
instance
of
mobile cell phone
and
the entity
is an
instance
of
computer process
and
the physical
is a
program
running of
the entity
and
the entity
is
running
on
the other entity
(=>
(
instance
?D
DHCPServer
)
(
exists
(?PROG ?C)
(
and
(
instance
?C
Computer
)
(
instance
?PROG
DHCPProgram
)
(
computerRunning
?D ?C)
(
programRunning
?D ?PROG))))
ComputingBrands.kif 4065-4072
If
a computer process
is an
instance
of
DHCP server
,
then there exist
a computer program
and
a computer
such that
the computer
is an
instance
of
computer
and
the computer program
is an
instance
of
DHCP program
and
the computer process
is
running
on
the computer
and
the computer program
is a
program
running of
the computer process
(=>
(
instance
?Process
ComputerProcess
)
(
exists
(?Computer ?Program)
(
and
(
instance
?Computer
Computer
)
(
computerRunning
?Process ?Computer)
(
instance
?Program
ComputerProgram
)
(
programRunning
?Process ?Program))))
QoSontology.kif 157-164
If
a computer process
is an
instance
of
computer process
,
then there exist
a computer
and
a computer program
such that
the computer
is an
instance
of
computer
and
the computer process
is
running
on
the computer
and
the computer program
is an
instance
of
computer program
and
the computer program
is a
program
running of
the computer process
(=>
(
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
If
an agent
is logged-in to
an user account
during
a time interval
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
computer process
and
the agent
is an
agent
of
the entity
and
device account
the user account
and
the other entity
and
the other entity
is an
instance
of
computer
and
the entity
is
running
on
the other entity
and
the other entity
is an
instrument
for
the entity
holds
during
the time interval
has the
modal
force
of
possibility
(=>
(
runningOn
?Program ?Computer)
(
exists
(?Process)
(
and
(
programRunning
?Process ?Program)
(
computerRunning
?Process ?Computer))))
QoSontology.kif 192-197
If
a computer program
is
running
on
a computer
,
then there exists
a computer process
such that
the computer program
is a
program
running of
the computer process
and
the computer process
is
running
on
the 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