Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 636-638
(domain programCopy 1 ComputerFile) QoSontology.kif 634-634 domain programCopy, 1 and ComputerFile
(domain programCopy 2 ComputerProgram) QoSontology.kif 635-635 domain programCopy, 2 and ComputerProgram
(instance programCopy AsymmetricRelation) QoSontology.kif 632-632 instance programCopy and AsymmetricRelation
(subrelation programCopy containsInformation) QoSontology.kif 633-633 subrelation programCopy and containsInformation

appearance as argument number 2
-------------------------


(format ChineseLanguage programCopy "%1 是 %2 的 copy ") domainEnglishFormat.kif 4255-4255
(format ChineseTraditionalLanguage programCopy "%1 是 %2 的 copy ") domainEnglishFormat.kif 4254-4254
(format EnglishLanguage programCopy "%1 is a copy of %2") domainEnglishFormat.kif 4253-4253
(termFormat ChineseLanguage programCopy "程序副本") domainEnglishFormat.kif 47581-47581 termFormat ChineseLanguage, programCopy and "程序副本"
(termFormat ChineseTraditionalLanguage programCopy "程序副本") domainEnglishFormat.kif 47580-47580 termFormat ChineseTraditionalLanguage, programCopy and "程序副本"
(termFormat EnglishLanguage programCopy "program copy") domainEnglishFormat.kif 47579-47579 termFormat EnglishLanguage, programCopy and "program copy"

consequent
-------------------------


(=>
    (instance ?Event MeasuringPerformance)
    (exists (?Program ?Copy)
        (and
            (instance ?Program MonitoringProgram)
            (programCopy ?Copy ?Program)
            (agent ?Event ?Copy))))		 QoSontology.kif 886-892
(=>
    (instance ?Monitor MonitoringProgram)
    (exists (?System ?Event ?MonitorCopy)
        (and
            (systemMeasured ?Event ?System)
            (programCopy ?MonitorCopy ?Monitor)
            (agent ?Event ?MonitorCopy))))		 QoSontology.kif 859-865
(=>
    (instance ?RM RM-StartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))		 QoSontology.kif 597-604
(=>
    (rMProgram-of ?RM ?System)
    (exists (?Application ?Process ?RMCopy)
        (and
            (part ?Application ?System)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process ?Application)
            (agent ?Process ?RMCopy))))		 QoSontology.kif 623-630


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners