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
Carnivore
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
Die Zahl 1 Argument von
programCopy
ist ein
fall
von
ComputerFile
%n{nicht}
(
domain
programCopy
2
ComputerProgram
)
QoSontology.kif 637-637
Die Zahl 2 Argument von
programCopy
ist ein
fall
von
ComputerProgram
%n{nicht}
(
instance
programCopy
AsymmetricRelation
)
QoSontology.kif 634-634
programCopy
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
subrelation
programCopy
containsInformation
)
QoSontology.kif 635-635
programCopy
ist eine
teilrelation
von
enthaeltInformationen
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 47644-47644
(
termFormat
ChineseTraditionalLanguage
programCopy
"程序副本")
domainEnglishFormat.kif 47643-47643
(
termFormat
EnglishLanguage
programCopy
"program copy")
domainEnglishFormat.kif 47642-47642
consequent
(=>
(
instance
?Event
MeasuringPerformance
)
(
exists
(?Program ?Copy)
(
and
(
instance
?Program
MonitoringProgram
)
(
programCopy
?Copy ?Program)
(
agent
?Event ?Copy))))
QoSontology.kif 888-894
Wenn
Process
ist ein
fall
von
MeasuringPerformance
%n{nicht},
dann es gibt
ComputerProgram
und
AutonomousAgent
um
** ComputerProgram
ist ein
fall
von
MonitoringProgram
%n{nicht} und
programCopy
** AutonomousAgent
and
** ComputerProgram
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht}
(=>
(
instance
?Monitor
MonitoringProgram
)
(
exists
(?System ?Event ?MonitorCopy)
(
and
(
systemMeasured
?Event ?System)
(
programCopy
?MonitorCopy ?Monitor)
(
agent
?Event ?MonitorCopy))))
QoSontology.kif 861-867
Wenn
ComputerProgram
ist ein
fall
von
MonitoringProgram
%n{nicht},
dann es gibt
ComputationalSystem
,
MeasuringPerformance
, and und
** ComputerProgram
Copy um
systemMeasured
** MeasuringPerformance
and
** ComputationalSystem
und
programCopy
** ComputerProgram
Copy and
** ComputerProgram
und
** MeasuringPerformance
ist der
agent
von
** ComputerProgram
Copy %n{nicht}
(=>
(
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
Wenn
ComputerProgram
ist ein
fall
von
RMStartApplication
%n{nicht},
dann es gibt
** ComputerProgram
,
ComputerProcess
, and und
** ComputerProgram
Copy um
** ** ComputerProgram
ist ein
fall
von
ComputerProgram
%n{nicht} und
programCopy
** ComputerProgram
Copy and
** ComputerProgram
und
programRunning
** ComputerProcess
and
StartupFn
** ** ComputerProgram
und
** ComputerProcess
ist der
agent
von
** ComputerProgram
Copy %n{nicht}
(=>
(
rMProgramOf
?RM ?System)
(
exists
(?Application ?Process ?RMCopy)
(
and
(
part
?Application ?System)
(
programCopy
?RMCopy ?RM)
(
programRunning
?Process ?Application)
(
agent
?Process ?RMCopy))))
QoSontology.kif 625-632
Wenn
rMProgramOf
ResourceManagementProgram
and
SoftwareSystem
,
dann es gibt
Object
,
ComputerProcess
, and und
** ResourceManagementProgram
Copy um
** Object
ist ein
teil
von
** SoftwareSystem
%n{nicht} und
programCopy
** ResourceManagementProgram
Copy and
** ResourceManagementProgram
und
programRunning
** ComputerProcess
and
** Object
und
** ComputerProcess
ist der
agent
von
** ResourceManagementProgram
Copy %n{nicht}
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