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
programCopy
Sigma KEE - programCopy
programCopy
appearance as argument number 1
(
documentation
programCopy
EnglishLanguage
"(
programCopy
?File ?Program) means that the
ComputerFile
?File is one of the copies of the
ComputerProgram
?Program.")
QoSontology.kif 638-640
(
domain
programCopy
1
ComputerFile
)
QoSontology.kif 636-636
The number 1 argument of
program copy
is an
instance
of
computer file
(
domain
programCopy
2
ComputerProgram
)
QoSontology.kif 637-637
The number 2 argument of
program copy
is an
instance
of
computer program
(
instance
programCopy
AsymmetricRelation
)
QoSontology.kif 634-634
program copy
is an
instance
of
asymmetric relation
(
subrelation
programCopy
containsInformation
)
QoSontology.kif 635-635
program copy
is a
subrelation
of
contains information
appearance as argument number 2
(
format
ChineseLanguage
programCopy
"%1 是 %2 的
copy
")
domainEnglishFormat.kif 4250-4250
(
format
ChineseTraditionalLanguage
programCopy
"%1 是 %2 的
copy
")
domainEnglishFormat.kif 4249-4249
(
format
EnglishLanguage
programCopy
"%1 is a
copy
of %2")
domainEnglishFormat.kif 4248-4248
(
termFormat
ChineseLanguage
programCopy
"程序副本")
domainEnglishFormat.kif 47642-47642
(
termFormat
ChineseTraditionalLanguage
programCopy
"程序副本")
domainEnglishFormat.kif 47641-47641
(
termFormat
EnglishLanguage
programCopy
"program copy")
domainEnglishFormat.kif 47640-47640
consequent
(=>
(
instance
?Event
MeasuringPerformance
)
(
exists
(?Program ?Copy)
(
and
(
instance
?Program
MonitoringProgram
)
(
programCopy
?Copy ?Program)
(
agent
?Event ?Copy))))
QoSontology.kif 888-894
If
a process
is an
instance
of
measuring performance
,
then there exist
a computer program
and
an agent
such that
the computer program
is an
instance
of
monitoring program
and
the agent
is a
copy
of
the computer program
and
the agent
is an
agent
of
the process
(=>
(
instance
?Monitor
MonitoringProgram
)
(
exists
(?System ?Event ?MonitorCopy)
(
and
(
systemMeasured
?Event ?System)
(
programCopy
?MonitorCopy ?Monitor)
(
agent
?Event ?MonitorCopy))))
QoSontology.kif 861-867
If
a computer program
is an
instance
of
monitoring program
,
then there exist
a computational system
,
a measuring performance
and
the computer program
Copy such that
the computational system
is a
system
measured of
the measuring performance
and
the computer program
Copy is a
copy
of
the computer program
and
the computer program
Copy is an
agent
of
the measuring performance
(=>
(
instance
?RM
RMStartApplication
)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
instance
?Application
ComputerProgram
)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process
(
StartupFn
?Application))
(
agent
?Process ?RMCopy))))
QoSontology.kif 599-606
If
a computer program
is an
instance
of
RMStartApplication
,
then there exist
another computer program
,
a computer process
and
the computer program
Copy such that
the other computer program
is an
instance
of
computer program
and
the computer program
Copy is a
copy
of
the computer program
and the
startup
of
the other computer program
is a
program
running of
the computer process
and
the computer program
Copy is an
agent
of
the computer process
(=>
(
rMProgramOf
?RM ?System)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
part
?Application ?System)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process ?Application)
(
agent
?Process ?RMCopy))))
QoSontology.kif 625-632
If
a software system
is a
rM
program-of of
a resource management program
,
then there exist
an object
,
a computer process
and
the resource management program
Copy such that
the object
is a
part
of
the software system
and
the resource management program
Copy is a
copy
of
the resource management program
and
the object
is a
program
running of
the computer process
and
the resource management program
Copy is an
agent
of
the computer process
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