rMProgramOf - Sigma 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	The number 1 argument of rM program_of is an instance of resource management program
(domain rMProgramOf 2 SoftwareSystem)	QoSontology.kif 727-727	The number 2 argument of rM program_of is an instance of software system
(instance rMProgramOf BinaryPredicate)	QoSontology.kif 725-725	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 2171-2171
(format ChineseTraditionalLanguage rMProgramOf "%2 %n 是 %1 的 rM program_of")	domainEnglishFormat.kif 2170-2170
(format EnglishLanguage rMProgramOf "%2 is %n a rM program_of of %1")	domainEnglishFormat.kif 2169-2169
(termFormat ChineseLanguage rMProgramOf "rM的程序")	domainEnglishFormat.kif 50189-50189
(termFormat ChineseTraditionalLanguage rMProgramOf "rM的程序")	domainEnglishFormat.kif 50188-50188
(termFormat EnglishLanguage rMProgramOf "rM program_of")	domainEnglishFormat.kif 50187-50187

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

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

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

KB Term:			Term intersection

English Word: