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 | 组件数据ID 的 1 数量 是 时间位置 的 instance |
(domain componentDataID 3 ComputerComponent) | QoSontology.kif 899-899 | 组件数据ID 的 3 数量 是 电脑组件 的 instance |
(domain componentDataID 4 UnitOfMeasure) | QoSontology.kif 900-900 | 组件数据ID 的 4 数量 是 测量单位 的 instance |
(domain componentDataID 5 SymbolicString) | QoSontology.kif 901-901 | 组件数据ID 的 5 数量 是 符号串 的 instance |
(domainSubclass componentDataID 2 ComputerComponent) | QoSontology.kif 898-898 | 组件数据ID 的 2 数量 是 电脑组件 的 subclass |
(instance componentDataID QuintaryPredicate) | QoSontology.kif 896-896 | 组件数据ID 是 五元谓语 的 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 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 |