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 1011-1014
(domain componentDataID 1 TimePosition) QoSontology.kif 1006-1006 componentDataID の数値 1 引数は 時間位置instance では
(domain componentDataID 3 ComputerComponent) QoSontology.kif 1008-1008 componentDataID の数値 3 引数は ComputerComponentinstance では
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 1009-1009 componentDataID の数値 4 引数は 測定単位instance では
(domain componentDataID 5 SymbolicString) QoSontology.kif 1010-1010 componentDataID の数値 5 引数は 記号文字列instance では
(domainSubclass componentDataID 2 ComputerComponent) QoSontology.kif 1007-1007 componentDataID の数値 2 引数は ComputerComponentsubclass では
(instance componentDataID QuintaryPredicate) QoSontology.kif 1005-1005 componentDataID5進述語instance では

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


(format ChineseLanguage componentDataID "%1 %n{不是} component 资料ID 对于 %3 跟 %4 和 %5 在一起") domainEnglishFormat.kif 508-508
(format ChineseTraditionalLanguage componentDataID "%1 %n{不是} component 資料ID 對於 %3 跟 %4 和 %5 在一起") domainEnglishFormat.kif 507-507
(format EnglishLanguage componentDataID "%1 %n{doesn't} component dataID %2 for %3 with %4 and %5") domainEnglishFormat.kif 506-506
(termFormat ChineseLanguage componentDataID "组件数据ID") domainEnglishFormat.kif 16215-16215
(termFormat ChineseTraditionalLanguage componentDataID "組件數據ID") domainEnglishFormat.kif 16214-16214
(termFormat EnglishLanguage componentDataID "component data ID") domainEnglishFormat.kif 16213-16213

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 1064-1073
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (instance ?Instance ?Component))
QoSontology.kif 1016-1018
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (refers ?Number ?Instance))
QoSontology.kif 1024-1026
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (unitMeasuringPerformance ?Instance ?Unit))
QoSontology.kif 1020-1022


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