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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - componentDataID
componentDataID

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


(documentation componentDataID EnglishLanguage "(componentDataID ?TIME ?COMPONENT ?INSTANCE ?UNIT ?NUMBER) holds if ?INSTANCE is an instance of ?COMPONENT, identified by IDNumber ?NUMBER, and whose performance is measured by a UnitOfMeasure-ComputerPerformance ?UNIT. The timestamp ?TIME identifies the time when this information was created.") QoSontology.kif 875-878
(domain componentDataID 1 TimePosition) QoSontology.kif 870-870
(domain componentDataID 3 ComputerComponent) QoSontology.kif 872-872
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 873-873
(domain componentDataID 5 SymbolicString) QoSontology.kif 874-874
(domainSubclass componentDataID 2 ComputerComponent) QoSontology.kif 871-871
(instance componentDataID QuintaryPredicate) QoSontology.kif 869-869

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


(format EnglishLanguage componentDataID "%1 %n{doesn't} component dataI d %2 for %3 with %4 and %5") domainEnglishFormat.kif 136-136
(termFormat EnglishLanguage componentDataID "component dataI d") domainEnglishFormat.kif 3122-3122

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
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (instance ?Instance ?Component))
QoSontology.kif 880-882
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (refers ?Number ?Instance))
QoSontology.kif 888-890
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (unitMeasuringPerformance ?Instance ?Unit))
QoSontology.kif 884-886


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