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 617-618
(domain rMProgramOf 1 ResourceManagementProgram)	QoSontology.kif 615-615
(domain rMProgramOf 2 SoftwareSystem)	QoSontology.kif 616-616
(instance rMProgramOf BinaryPredicate)	QoSontology.kif 614-614

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 50150-50150
(termFormat ChineseTraditionalLanguage rMProgramOf "rM的程序")	domainEnglishFormat.kif 50149-50149
(termFormat EnglishLanguage rMProgramOf "rM program-of")	domainEnglishFormat.kif 50148-50148

antecedent

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

QoSontology.kif 623-630

consequent

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

QoSontology.kif 674-682

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

KB Term:			Term intersection

English Word: