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 728-729
(domain rMProgramOf 1 ResourceManagementProgram)	QoSontology.kif 726-726
(domain rMProgramOf 2 SoftwareSystem)	QoSontology.kif 727-727
(instance rMProgramOf BinaryPredicate)	QoSontology.kif 725-725

appearance as argument number 2

(format ChineseLanguage rMProgramOf "%2 %n 是 %1 的 rM programof")	domainEnglishFormat.kif 2171-2171
(format ChineseTraditionalLanguage rMProgramOf "%2 %n 是 %1 的 rM programof")	domainEnglishFormat.kif 2170-2170
(format EnglishLanguage rMProgramOf "%2 is %n a rM programof of %1")	domainEnglishFormat.kif 2169-2169
(termFormat ChineseLanguage rMProgramOf "rM的程序")	domainEnglishFormat.kif 50160-50160
(termFormat ChineseTraditionalLanguage rMProgramOf "rM的程序")	domainEnglishFormat.kif 50159-50159
(termFormat EnglishLanguage rMProgramOf "rM program_of")	domainEnglishFormat.kif 50158-50158

antecedent

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

QoSontology.kif 734-741

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 785-793

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

KB Term:			Term intersection

English Word: