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 902-905
(domain componentDataID 1 TimePosition) QoSontology.kif 897-897 Il numero 1 argomenti di componentDataID è un istanza di PosizioneTemporale
(domain componentDataID 3 ComputerComponent) QoSontology.kif 899-899 Il numero 3 argomenti di componentDataID è un istanza di ComputerComponent
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 900-900 Il numero 4 argomenti di componentDataID è un istanza di Unit�DiMisura
(domain componentDataID 5 SymbolicString) QoSontology.kif 901-901 Il numero 5 argomenti di componentDataID è un istanza di Stringa
(domainSubclass componentDataID 2 ComputerComponent) QoSontology.kif 898-898 Il numero 2 argomento componentDataID è una sottoclasse diComputerComponent
(instance componentDataID QuintaryPredicate) QoSontology.kif 896-896 componentDataID è un' istanza di PredicatoQuinquenario

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 16206-16206
(termFormat ChineseTraditionalLanguage componentDataID "組件數據ID") domainEnglishFormat.kif 16205-16205
(termFormat EnglishLanguage componentDataID "component data ID") domainEnglishFormat.kif 16204-16204

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 955-964
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (instance ?Instance ?Component))		 QoSontology.kif 907-909
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (refers ?Number ?Instance))		 QoSontology.kif 915-917
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (unitMeasuringPerformance ?Instance ?Unit))		 QoSontology.kif 911-913


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