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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - monitorComponentData
monitorComponentData

appearance as argument number 1
-------------------------


(documentation monitorComponentData EnglishLanguage "(monitorComponentData ?TIME ?ID ?NUMBER) holds if at time ?TIME, a component with the IDNumber ?ID has a performance of a value ?NUMBER.") QoSontology.kif 939-941
(domain monitorComponentData 1 TimePosition) QoSontology.kif 936-936 The number 1 argument of monitor component data is an instance of time position
(domain monitorComponentData 2 SymbolicString) QoSontology.kif 937-937 The number 2 argument of monitor component data is an instance of symbolic string
(domain monitorComponentData 3 RealNumber) QoSontology.kif 938-938 The number 3 argument of monitor component data is an instance of real number
(instance monitorComponentData TernaryPredicate) QoSontology.kif 935-935 monitor component data is an instance of ternary predicate

appearance as argument number 2
-------------------------


(format EnglishLanguage monitorComponentData "%1 %n{doesn't} monitor component data %2 for %3") domainEnglishFormat.kif 448-448
(termFormat EnglishLanguage monitorComponentData "monitor component data") domainEnglishFormat.kif 6822-6822 "monitor component data" is the printable form of monitor component data in english language

antecedent
-------------------------


(=>
    (and
        (monitorComponentData ?Time1 ?ID ?Number)
        (componentDataID ?Time2 ?Component ?Instance ?Unit ?ID))
    (exists (?Event)
        (and
            (instance ?Event MeasuringPerformance)
            (unitMeasuringPerformance ?Instance ?Unit)
            (time ?Event ?Time1)
            (performanceResult ?Event ?Instance ?Number))))
QoSontology.kif 943-952


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners