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

Formal Language: 



KB Term:  Term intersection
English Word: 

  systemMeasured

 Sigma KEE - systemMeasured
systemMeasured

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 Le nombre 1 argument de systemMeasured est une instance de MeasuringPerformance
(domain systemMeasured 2 ComputationalSystem) QoSontology.kif 872-872 Le nombre 2 argument de systemMeasured est une instance de ComputationalSystem
(instance systemMeasured AsymmetricRelation) QoSontology.kif 870-870 systemMeasured est une instance de relation asym�trique
(instance systemMeasured BinaryPredicate) QoSontology.kif 869-869 systemMeasured est une instance de pr�dicat binaire

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 56677-56677
(termFormat ChineseTraditionalLanguage systemMeasured "系統測量的") domainEnglishFormat.kif 56676-56676
(termFormat EnglishLanguage systemMeasured "system measured") domainEnglishFormat.kif 56675-56675

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


(=>
    (instance ?Monitor MonitoringProgram)
    (exists (?System ?Event ?MonitorCopy)
        (and
            (systemMeasured ?Event ?System)
            (programCopy ?MonitorCopy ?Monitor)
            (agent ?Event ?MonitorCopy))))		 QoSontology.kif 861-867


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 3.0 is open source software produced by Articulate Software and its partners