| 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 875-878 | |
| (domain componentDataID 1 TimePosition) | QoSontology.kif 870-870 | |
| (domain componentDataID 3 ComputerComponent) | QoSontology.kif 872-872 | |
| (domain componentDataID 4 UnitOfMeasure) | QoSontology.kif 873-873 | |
| (domain componentDataID 5 SymbolicString) | QoSontology.kif 874-874 | |
| (domainSubclass componentDataID 2 ComputerComponent) | QoSontology.kif 871-871 | |
| (instance componentDataID QuintaryPredicate) | QoSontology.kif 869-869 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage componentDataID "%1 %n{doesn't} component dataI d %2 for %3 with %4 and %5") | domainEnglishFormat.kif 136-136 | |
| (termFormat EnglishLanguage componentDataID "component dataI d") | domainEnglishFormat.kif 3122-3122 |
| 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 928-937 | |
| (=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (instance ?Instance ?Component)) |
QoSontology.kif 880-882 | |
| (=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (refers ?Number ?Instance)) |
QoSontology.kif 888-890 | |
| (=> (componentDataID ?Time ?Component ?Instance ?Unit ?Number) (unitMeasuringPerformance ?Instance ?Unit)) |
QoSontology.kif 884-886 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners