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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 871-873
(domain systemMeasured 1 MeasuringPerformance) QoSontology.kif 869-869
(domain systemMeasured 2 ComputationalSystem) QoSontology.kif 870-870
(instance systemMeasured AsymmetricRelation) QoSontology.kif 868-868
(instance systemMeasured BinaryPredicate) QoSontology.kif 867-867

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

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


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


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



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