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

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