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	The number 1 argument of rM program-of is an instance of resource management program
(domain rMProgramOf 2 SoftwareSystem)	QoSontology.kif 618-618	The number 2 argument of rM program-of is an instance of software system
(instance rMProgramOf BinaryPredicate)	QoSontology.kif 616-616	rM program-of is an instance of binary predicate

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

If a software system is a rM program-of of a resource management program,
then there exist an object, a computer process and the resource management programCopy such that the object is a part of the software system and the resource management programCopy is a copy of the resource management program and the object is a program running of the computer process and the resource management programCopy is an agent of the computer process

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

If an entity is an instance of feedback,
then there exist a resource management program, a computer process,, , a software system and a process such that the software system is a rM program-of of the resource management program and the software system is a program running of the computer process and the process is an instance of data transfer and the entity is a patient of the process and the process ends up at the resource management program

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

KB Term:			Term intersection

English Word: