Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - componentDataID
componentDataID

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


(instance componentDataID QuintaryPredicate) QoSontology.kif 992-992 component data ID is an instance of quintary predicate
(domain componentDataID 1 TimePosition) QoSontology.kif 993-993 The number 1 argument of component data ID is an instance of time position
(domainSubclass componentDataID 2 ComputerComponent) QoSontology.kif 994-994 The number 2 argument of component data ID is a subclass of computer component
(domain componentDataID 3 ComputerComponent) QoSontology.kif 995-995 The number 3 argument of component data ID is an instance of computer component
(domain componentDataID 4 UnitOfMeasure) QoSontology.kif 996-996 The number 4 argument of component data ID is an instance of unit of measure
(domain componentDataID 5 SymbolicString) QoSontology.kif 997-997 The number 5 argument of component data ID is an instance of symbolic string
(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 998-1001 The number 5 argument of component data ID is an instance of symbolic string

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


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

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


(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (instance ?Instance ?Component))		 QoSontology.kif 1003-1005 If X component dataID Y for Z with W and V, then Z is an instance of Y
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (unitMeasuringPerformance ?Instance ?Unit))		 QoSontology.kif 1007-1009 If X component dataID Y for Z with W and V, then W is an unit measuring performance of Z
(=>
    (componentDataID ?Time ?Component ?Instance ?Unit ?Number)
    (refers ?Number ?Instance))		 QoSontology.kif 1011-1013 If X component dataID Y for Z with W and V, then V includes a reference to Z
(=>
    (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 1051-1060 If X is monitor component data Y for Z and W component dataID V for U with T and Y, then there exists S such that S is an instance of measuring performance, T is an unit measuring performance of U, S exists during X, and S is performance result U for Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners