ComputerPath
|
|
appearance as argument number 1 |
(documentation ComputerPath EnglishLanguage "An instance of ComputerPath is a series of programs that connects input devices, typically sensors, to output devices, typically actuators.") | QoSontology.kif 1079-1081 | |
(subclass ComputerPath DigitalData) | QoSontology.kif 1078-1078 | ComputerPath ist eine teilkategorie von DigitalData |
appearance as argument number 2 |
(termFormat ChineseLanguage ComputerPath "计算机路径") | domainEnglishFormat.kif 16344-16344 | |
(termFormat ChineseTraditionalLanguage ComputerPath "計算機路徑") | domainEnglishFormat.kif 16343-16343 | |
(termFormat EnglishLanguage ComputerPath "computer path") | domainEnglishFormat.kif 16342-16342 |
appearance as argument number 3 |
(domain batchInterArrival 1 ComputerPath) | QoSontology.kif 1186-1186 | Die Zahl 1 Argument von batchInterArrival ist ein fall von ComputerPath %n{nicht} |
(domain batchLatency 1 ComputerPath) | QoSontology.kif 1180-1180 | Die Zahl 1 Argument von batchLatency ist ein fall von ComputerPath %n{nicht} |
(domain dataStreamSlack 1 ComputerPath) | QoSontology.kif 1208-1208 | Die Zahl 1 Argument von dataStreamSlack ist ein fall von ComputerPath %n{nicht} |
(domain qoSSlack 1 ComputerPath) | QoSontology.kif 1194-1194 | Die Zahl 1 Argument von qoSSlack ist ein fall von ComputerPath %n{nicht} |
(domain simpleDeadline 1 ComputerPath) | QoSontology.kif 1172-1172 | Die Zahl 1 Argument von simpleDeadline ist ein fall von ComputerPath %n{nicht} |
(domain slidingWindowSize 1 ComputerPath) | QoSontology.kif 1202-1202 | Die Zahl 1 Argument von slidingWindowSize ist ein fall von ComputerPath %n{nicht} |
(domain softwarePath 2 ComputerPath) | QoSontology.kif 1085-1085 | Die Zahl 2 Argument von softwarePath ist ein fall von ComputerPath %n{nicht} |
antecedent |
consequent |
(=> (instance ?Attribute ComputerPathAttribute) (exists (?Path) (and (instance ?Path ComputerPath) (property ?Path ?Attribute)))) |
QoSontology.kif 1097-1102 |
|