| 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 900-903 | |
| (domain componentDataID 1 TimePosition) | QoSontology.kif 895-895 | |
| (domain componentDataID 3 ComputerComponent) | QoSontology.kif 897-897 | |
| (domain componentDataID 4 UnitOfMeasure) | QoSontology.kif 898-898 | |
| (domain componentDataID 5 SymbolicString) | QoSontology.kif 899-899 | |
| (domainSubclass componentDataID 2 ComputerComponent) | QoSontology.kif 896-896 | |
| (instance componentDataID QuintaryPredicate) | QoSontology.kif 894-894 |
| 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 16129-16129 | |
| (termFormat ChineseTraditionalLanguage componentDataID "組件數據ID") | domainEnglishFormat.kif 16128-16128 | |
| (termFormat EnglishLanguage componentDataID "component data ID") | domainEnglishFormat.kif 16127-16127 |
| 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 953-962 | |
| (=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (instance ?Instance ?Component)) |
QoSontology.kif 905-907 | |
| (=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (refers ?Number ?Instance)) |
QoSontology.kif 913-915 | |
| (=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (unitMeasuringPerformance ?Instance ?Unit)) |
QoSontology.kif 909-911 |
|
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