| 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 | |
| (domain componentDataID 3 ComputerComponent) | QoSontology.kif 1008-1008 | |
| (domain componentDataID 4 UnitOfMeasure) | QoSontology.kif 1009-1009 | |
| (domain componentDataID 5 SymbolicString) | QoSontology.kif 1010-1010 | |
| (domainSubclass componentDataID 2 ComputerComponent) | QoSontology.kif 1007-1007 | |
| (instance componentDataID QuintaryPredicate) | QoSontology.kif 1005-1005 |
| 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