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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 O argumento numero 1 de programCopy e' uma instancia de ComputerFile
(domain programCopy 2 ComputerProgram) QoSontology.kif 637-637 O argumento numero 2 de programCopy e' uma instancia de Programa de Computador
(instance programCopy AsymmetricRelation) QoSontology.kif 634-634 programCopy e' uma instancia de Relacao Assimetrica
(subrelation programCopy containsInformation) QoSontology.kif 635-635 programCopy e' uma sub-relacao de containsInformation

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
(=>
    (instance ?Monitor MonitoringProgram)
    (exists (?System ?Event ?MonitorCopy)
        (and
            (systemMeasured ?Event ?System)
            (programCopy ?MonitorCopy ?Monitor)
            (agent ?Event ?MonitorCopy))))
QoSontology.kif 861-867
(=>
    (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
(=>
    (rMProgramOf ?RM ?System)
    (exists (?Application ?Process ?RMCopy)
        (and
            (part ?Application ?System)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process ?Application)
            (agent ?Process ?RMCopy))))
QoSontology.kif 625-632


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