TreeView Knowledge Base Browser - monitorApplicationData

appearance as argument number 1

(documentation monitorApplicationData EnglishLanguage "(monitorApplicationData ?TIME ?APPLICATION) holds if the time stamp ?TIME specifies the time at which ?APPLICATION is running.")	QoSontology.kif 975-977
(domain monitorApplicationData 1 TimePosition)	QoSontology.kif 973-973	Le nombre 1 argument de monitorApplicationData est une instance de position temporel
(domain monitorApplicationData 2 ComputerProgram)	QoSontology.kif 974-974	Le nombre 2 argument de monitorApplicationData est une instance de programme d'ordinateur
(instance monitorApplicationData BinaryPredicate)	QoSontology.kif 972-972	monitorApplicationData est une instance de pr�dicat binaire

appearance as argument number 2

(format ChineseLanguage monitorApplicationData "%2 %n 是 %1 的 monitor 申请资料")	domainEnglishFormat.kif 1755-1755
(format ChineseTraditionalLanguage monitorApplicationData "%2 %n 是 %1 的 monitor 申請資料")	domainEnglishFormat.kif 1754-1754
(format EnglishLanguage monitorApplicationData "%2 is %n a monitor application data of %1")	domainEnglishFormat.kif 1753-1753
(termFormat ChineseLanguage monitorApplicationData "监控应用数据")	domainEnglishFormat.kif 38403-38403
(termFormat ChineseTraditionalLanguage monitorApplicationData "監控應用數據")	domainEnglishFormat.kif 38402-38402
(termFormat EnglishLanguage monitorApplicationData "monitor application data")	domainEnglishFormat.kif 38401-38401

antecedent

(=>
    (monitorApplicationData ?Time ?Application)
    (exists (?Process)
        (and
            (programRunning ?Process ?Application)
            (time ?Process ?Time))))

QoSontology.kif 979-984

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

KB Term:			Term intersection

English Word: