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 890-893
(domain componentDataID 1 TimePosition) QoSontology.kif 885-885 The number 1 argument of component dataI d is an instance of time position
(domain componentDataID 3 ComputerComponent) QoSontology.kif 887-887 The number 3 argument of component dataI d is an instance of computer component
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 888-888 The number 4 argument of component dataI d is an instance of unit of measure
(domain componentDataID 5 SymbolicString) QoSontology.kif 889-889 The number 5 argument of component dataI d is an instance of symbolic string
(domainSubclass componentDataID 2 ComputerComponent) QoSontology.kif 886-886 The number 2 argument of component dataI d is a subclass of computer component
(instance componentDataID QuintaryPredicate) QoSontology.kif 884-884 component dataI d is an instance of quintary predicate

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 "component dataI d" is the printable form of component dataI d 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
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (instance ?Instance ?Component))
QoSontology.kif 895-897
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (refers ?Number ?Instance))
QoSontology.kif 903-905
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (unitMeasuringPerformance ?Instance ?Unit))
QoSontology.kif 899-901


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