ComputerPath - Sigma Knowledge base Browser

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 1188-1190
(subclass ComputerPath DigitalData)	QoSontology.kif 1187-1187

appearance as argument number 2

(termFormat ChineseLanguage ComputerPath "计算机路径")	domainEnglishFormat.kif 16359-16359
(termFormat ChineseTraditionalLanguage ComputerPath "計算機路徑")	domainEnglishFormat.kif 16358-16358
(termFormat EnglishLanguage ComputerPath "computer path")	domainEnglishFormat.kif 16357-16357

appearance as argument number 3

(domain batchInterArrival 1 ComputerPath)	QoSontology.kif 1295-1295
(domain batchLatency 1 ComputerPath)	QoSontology.kif 1289-1289
(domain dataStreamSlack 1 ComputerPath)	QoSontology.kif 1317-1317
(domain qoSSlack 1 ComputerPath)	QoSontology.kif 1303-1303
(domain simpleDeadline 1 ComputerPath)	QoSontology.kif 1281-1281
(domain slidingWindowSize 1 ComputerPath)	QoSontology.kif 1311-1311
(domain softwarePath 2 ComputerPath)	QoSontology.kif 1194-1194

antecedent

(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path QuasicontinuousPath)))	QoSontology.kif 1274-1278
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath)))	QoSontology.kif 1268-1272
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path DeterministicDataStream)))	QoSontology.kif 1246-1250
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream)))	QoSontology.kif 1240-1244

consequent

(=>
    (instance ?Attribute ComputerPathAttribute)
    (exists (?Path)
        (and
            (instance ?Path ComputerPath)
            (property ?Path ?Attribute))))

QoSontology.kif 1206-1211