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 924-926
(domain monitorComponentData 1 TimePosition) QoSontology.kif 921-921
(domain monitorComponentData 2 SymbolicString) QoSontology.kif 922-922
(domain monitorComponentData 3 RealNumber) QoSontology.kif 923-923
(instance monitorComponentData TernaryPredicate) QoSontology.kif 920-920

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

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 928-937


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