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 747-749
(domain programCopy 1 ComputerFile) QoSontology.kif 745-745 programCopy の数値 1 引数は ComputerFile の instance では
(domain programCopy 2 ComputerProgram) QoSontology.kif 746-746 programCopy の数値 2 引数は コンピュータープログラム の instance では
(instance programCopy AsymmetricRelation) QoSontology.kif 743-743 programCopy は 非対称関係 の instance では
(subrelation programCopy containsInformation) QoSontology.kif 744-744 programCopy は containsInformation の subrelation では

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


(format ChineseLanguage programCopy "%1 是 %2 的 copy ") domainEnglishFormat.kif 4254-4254
(format ChineseTraditionalLanguage programCopy "%1 是 %2 的 copy ") domainEnglishFormat.kif 4253-4253
(format EnglishLanguage programCopy "%1 is a copy of %2") domainEnglishFormat.kif 4252-4252
(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 997-1003
(=>
    (instance ?Monitor MonitoringProgram)
    (exists (?System ?Event ?MonitorCopy)
        (and
            (systemMeasured ?Event ?System)
            (programCopy ?MonitorCopy ?Monitor)
            (agent ?Event ?MonitorCopy))))		 QoSontology.kif 970-976
(=>
    (instance ?RM RMStartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))		 QoSontology.kif 708-715
(=>
    (rMProgramOf ?RM ?System)
    (exists (?Application ?Process ?RMCopy)
        (and
            (part ?Application ?System)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process ?Application)
            (agent ?Process ?RMCopy))))		 QoSontology.kif 734-741


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 3.0 is open source software produced by Articulate Software and its partners