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 1185-1187
(subclass ComputerPath DigitalData)	QoSontology.kif 1184-1184	Computer path is a subclass of digital data

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 1292-1292	The number 1 argument of batch inter arrival is an instance of computer path
(domain batchLatency 1 ComputerPath)	QoSontology.kif 1286-1286	The number 1 argument of batch latency is an instance of computer path
(domain dataStreamSlack 1 ComputerPath)	QoSontology.kif 1314-1314	The number 1 argument of data stream slack is an instance of computer path
(domain qoSSlack 1 ComputerPath)	QoSontology.kif 1300-1300	The number 1 argument of qoS slack is an instance of computer path
(domain simpleDeadline 1 ComputerPath)	QoSontology.kif 1278-1278	The number 1 argument of simple deadline is an instance of computer path
(domain slidingWindowSize 1 ComputerPath)	QoSontology.kif 1308-1308	The number 1 argument of sliding window size is an instance of computer path
(domain softwarePath 2 ComputerPath)	QoSontology.kif 1191-1191	The number 2 argument of software path is an instance of computer path

antecedent

(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path QuasicontinuousPath)))	QoSontology.kif 1271-1275	If an entity is an instance of computer path and the entity the attribute continuous path, then the entity does not have the attribute quasicontinuous path
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath)))	QoSontology.kif 1265-1269	If an entity is an instance of computer path and the entity the attribute continuous path, then the entity does not have the attribute transient path
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path DeterministicDataStream)))	QoSontology.kif 1243-1247	If an entity is an instance of computer path and the entity the attribute dynamic data stream, then the entity does not have the attribute deterministic data stream
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream)))	QoSontology.kif 1237-1241	If an entity is an instance of computer path and the entity the attribute dynamic data stream, then the entity does not have the attribute stochastic data stream

consequent

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

QoSontology.kif 1203-1208