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


s__documentation(s__componentDataID__m,s__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 900-903
s__domain(s__componentDataID__m,n__1,s__TimePosition)

QoSontology.kif 895-895 The number 1 argument of component data ID is an instance of time position
s__domain(s__componentDataID__m,n__3,s__ComputerComponent)

QoSontology.kif 897-897 The number 3 argument of component data ID is an instance of computer component
s__domain(s__componentDataID__m,n__4,s__UnitOfMeasure)

QoSontology.kif 898-898 The number 4 argument of component data ID is an instance of unit of measure
s__domain(s__componentDataID__m,n__5,s__SymbolicString)

QoSontology.kif 899-899 The number 5 argument of component data ID is an instance of symbolic string
s__domainSubclass(s__componentDataID__m,n__2,s__ComputerComponent)

QoSontology.kif 896-896 The number 2 argument of component data ID is a subclass of computer component
s__instance(s__componentDataID__m,s__QuintaryPredicate)

s__instance(s__QuintaryPredicate,s__Class)

QoSontology.kif 894-894 component data ID is an instance of quintary predicate

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


s__format(s__ChineseLanguage,s__componentDataID__m,'"%1 %n{不是} component 资料ID 对于 %3 跟 %4 和 %5 在一起"')

domainEnglishFormat.kif 508-508
s__format(s__ChineseTraditionalLanguage,s__componentDataID__m,'"%1 %n{不是} component 資料ID 對於 %3 跟 %4 和 %5 在一起"')

domainEnglishFormat.kif 507-507
s__format(s__EnglishLanguage,s__componentDataID__m,'"%1 %n{doesnt} component dataID %2 for %3 with %4 and %5"')

domainEnglishFormat.kif 506-506
s__termFormat(s__ChineseLanguage,s__componentDataID__m,'"组件数据ID"')

domainEnglishFormat.kif 16197-16197
s__termFormat(s__ChineseTraditionalLanguage,s__componentDataID__m,'"組件數據ID"')

domainEnglishFormat.kif 16196-16196
s__termFormat(s__EnglishLanguage,s__componentDataID__m,'"component data ID"')

domainEnglishFormat.kif 16195-16195

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


( ! [V__Unit,V__Time2,V__Time1,V__ID,V__Component,V__Instance,V__Number] :
   (((s__instance(V__Unit,s__UnitOfMeasure) &
         s__instance(V__Time2,s__TimePosition) &
         s__instance(V__Time1,s__TimePosition) &
         s__instance(V__ID,s__SymbolicString) &
         s__subclass(V__Component,s__ComputerComponent) &
         s__instance(V__Instance,s__ComputerComponent) &
         s__instance(V__Number,s__RealNumber))
       =>
       (((s__monitorComponentData(V__Time1,V__ID,V__Number)
           &
           s__componentDataID(V__Time2,V__Component,V__Instance,V__Unit,V__ID))
       =>
       (( ? [V__Event] :
           ((s__instance(V__Event,s__MeasuringPerformance) &
               s__unitMeasuringPerformance(V__Instance,V__Unit)
             &
             s__time(V__Event,V__Time1)
           &
           s__performanceResult(V__Event,V__Instance,V__Number))))))))
)
)

QoSontology.kif 953-962
( ! [V__Time,V__Unit,V__Component,V__Instance,V__Number] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Unit,s__UnitOfMeasure) &
         s__subclass(V__Component,s__ComputerComponent) &
         s__instance(V__Component,s__Class) &
         s__instance(V__Instance,s__ComputerComponent) &
         s__instance(V__Number,s__SymbolicString))
       =>
       ((s__componentDataID(V__Time,V__Component,V__Instance,V__Unit,V__Number)
         =>
         (s__instance(V__Instance,V__Component)))))
)
)

QoSontology.kif 905-907
( ! [V__Time,V__Unit,V__Component,V__Instance,V__Number] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Unit,s__UnitOfMeasure) &
         s__subclass(V__Component,s__ComputerComponent) &
         s__instance(V__Instance,s__ComputerComponent) &
         s__instance(V__Number,s__SymbolicString))
       =>
       ((s__componentDataID(V__Time,V__Component,V__Instance,V__Unit,V__Number)
         =>
         (s__refers(V__Number,V__Instance)))))
)
)

QoSontology.kif 913-915
( ! [V__Time,V__Unit,V__Component,V__Instance,V__Number] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Unit,s__UnitOfMeasure) &
         s__subclass(V__Component,s__ComputerComponent) &
         s__instance(V__Instance,s__ComputerComponent) &
         s__instance(V__Number,s__SymbolicString))
       =>
       ((s__componentDataID(V__Time,V__Component,V__Instance,V__Unit,V__Number)
         =>
         (s__unitMeasuringPerformance(V__Instance,V__Unit)))))
)
)

QoSontology.kif 909-911


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