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 725-726
(domain rMProgramOf 1 ResourceManagementProgram)	QoSontology.kif 723-723	rM的程序的 1 数量是资源管理计划的 instance
(domain rMProgramOf 2 SoftwareSystem)	QoSontology.kif 724-724	rM的程序的 2 数量是软件系统的 instance
(instance rMProgramOf BinaryPredicate)	QoSontology.kif 722-722	rM的程序是二元谓语的 instance

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

antecedent

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

QoSontology.kif 731-738

如果软件系统是资源管理计划的 rM program-of，
然后有存在客体，电脑程序， and 和那个资源管理计划Copy 这样那个客体是那个软件系统的 part 和那个资源管理计划Copy 是那个资源管理计划的 copy 和那个客体是那个电脑程序的执行 program 和那个资源管理计划Copy 是那个电脑程序的 agent

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

如果实体是反馈的 instance，
然后有存在资源管理计划，电脑程序,，，软件系统， and 和过程这样那个软件系统是那个资源管理计划的 rM program-of 和那个软件系统是那个电脑程序的执行 program 和那个过程是数据传输的 instance 和那个实体是那个过程的 patient 和那个过程在那个资源管理计划结束

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

KB Term:			Term intersection

English Word: