TreeView Knowledge Base Browser

appearance as argument number 1

(documentation systemMeasured EnglishLanguage "(systemMeasured ?Event ?System) means that ?Event is an event of measuring the performance of the ComputationalSystem ?System.")	QoSontology.kif 873-875
(domain systemMeasured 1 MeasuringPerformance)	QoSontology.kif 871-871	systemMeasured の数値 1 引数は MeasuringPerformance の instance では %n
(domain systemMeasured 2 ComputationalSystem)	QoSontology.kif 872-872	systemMeasured の数値 2 引数は ComputationalSystem の instance では %n
(instance systemMeasured AsymmetricRelation)	QoSontology.kif 870-870	systemMeasured は非対称関係の instance では %n
(instance systemMeasured BinaryPredicate)	QoSontology.kif 869-869	systemMeasured は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage systemMeasured "%2 %n 是 %1 的 system 测量")	domainEnglishFormat.kif 2431-2431
(format ChineseTraditionalLanguage systemMeasured "%2 %n 是 %1 的 system 測量")	domainEnglishFormat.kif 2430-2430
(format EnglishLanguage systemMeasured "%2 is %n a system measured of %1")	domainEnglishFormat.kif 2429-2429
(termFormat ChineseLanguage systemMeasured "系统测量的")	domainEnglishFormat.kif 56667-56667
(termFormat ChineseTraditionalLanguage systemMeasured "系統測量的")	domainEnglishFormat.kif 56666-56666
(termFormat EnglishLanguage systemMeasured "system measured")	domainEnglishFormat.kif 56665-56665

consequent

(=>
    (instance ?Monitor MonitoringProgram)
    (exists (?System ?Event ?MonitorCopy)
        (and
            (systemMeasured ?Event ?System)
            (programCopy ?MonitorCopy ?Monitor)
            (agent ?Event ?MonitorCopy))))

QoSontology.kif 861-867

コンピュータープログラムは MonitoringProgram の instance では %n
ComputationalSystem MeasuringPerformance and コンピュータープログラムCopy systemMeasured MeasuringPerformance and ComputationalSystem programCopy コンピュータープログラムCopy and コンピュータープログラムコンピュータープログラムCopy は MeasuringPerformance の agent では %n

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

KB Term:			Term intersection

English Word: