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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (instance ?Monitor MonitoringProgram)
    (exists (?System ?Event ?MonitorCopy)
            (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