TreeView Knowledge Base Browser

appearance as argument number 1

(documentation rMProgramOf EnglishLanguage "(rMProgramOf ?RM ?SYSTEM) means that ?RM is the resource management program of the SoftwareSystem ?SYSTEM.")	QoSontology.kif 619-620
(domain rMProgramOf 1 ResourceManagementProgram)	QoSontology.kif 617-617
(domain rMProgramOf 2 SoftwareSystem)	QoSontology.kif 618-618
(instance rMProgramOf BinaryPredicate)	QoSontology.kif 616-616

appearance as argument number 2

(format ChineseLanguage rMProgramOf "%2 %n 是 %1 的 rM program-of")	domainEnglishFormat.kif 2167-2167
(format ChineseTraditionalLanguage rMProgramOf "%2 %n 是 %1 的 rM program-of")	domainEnglishFormat.kif 2166-2166
(format EnglishLanguage rMProgramOf "%2 is %n a rM program-of of %1")	domainEnglishFormat.kif 2165-2165
(termFormat ChineseLanguage rMProgramOf "rM的程序")	domainEnglishFormat.kif 50168-50168
(termFormat ChineseTraditionalLanguage rMProgramOf "rM的程序")	domainEnglishFormat.kif 50167-50167
(termFormat EnglishLanguage rMProgramOf "rM program-of")	domainEnglishFormat.kif 50166-50166

antecedent

(=>
    (rMProgramOf ?RM ?System)
    (exists (?Application ?Process ?RMCopy)
        (and
            (part ?Application ?System)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process ?Application)
            (agent ?Process ?RMCopy))))

QoSontology.kif 625-632

consequent

(=>
    (instance ?Feedback Feedback)
    (exists (?RM ?Process ?Program ?Send)
        (and
            (rMProgramOf ?RM ?Program)
            (programRunning ?Process ?Program)
            (instance ?Send DataTransfer)
            (patient ?Send ?Feedback)
            (destination ?Send ?RM))))

QoSontology.kif 676-684

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

KB Term:			Term intersection

English Word: