Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  rMProgram-of

Sigma KEE - rMProgram-of
rMProgram-of

appearance as argument number 1
-------------------------


(documentation rMProgram-of EnglishLanguage "(rMProgram-of ?RM ?SYSTEM) means that ?RM is the resource management program of the SoftwareSystem ?SYSTEM.") QoSontology.kif 600-601
(domain rMProgram-of 1 ResourceManagementProgram) QoSontology.kif 598-598
(domain rMProgram-of 2 SoftwareSystem) QoSontology.kif 599-599
(instance rMProgram-of BinaryPredicate) QoSontology.kif 597-597

appearance as argument number 2
-------------------------


(format EnglishLanguage rMProgram-of "%2 is %n a rM program-of of %1") domainEnglishFormat.kif 550-550
(termFormat EnglishLanguage rMProgram-of "rM program-of") domainEnglishFormat.kif 8783-8783

antecedent
-------------------------


(=>
    (rMProgram-of ?RM ?System)
    (exists (?Application ?Process ?RMCopy)
        (and
            (part ?Application ?System)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process ?Application)
            (agent ?Process ?RMCopy))))
QoSontology.kif 606-613

consequent
-------------------------


(<=>
    (instance ?Feedback Feedback)
    (exists (?RM ?Process ?Program)
        (and
            (rMProgram-of ?RM ?Program)
            (programRunning ?Process ?Program)
            (instance ?Send DataTransfer)
            (patient ?Send ?Feedback)
            (destination ?Send ?RM))))
QoSontology.kif 657-665


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners