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 1079-1081
(subclass ComputerPath DigitalData)	QoSontology.kif 1078-1078	Computer path is a subclass of digital data

appearance as argument number 2

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

appearance as argument number 3

(domain batchInterArrival 1 ComputerPath)	QoSontology.kif 1186-1186	The number 1 argument of batch inter arrival is an instance of computer path
(domain batchLatency 1 ComputerPath)	QoSontology.kif 1180-1180	The number 1 argument of batch latency is an instance of computer path
(domain dataStreamSlack 1 ComputerPath)	QoSontology.kif 1208-1208	The number 1 argument of data stream slack is an instance of computer path
(domain qoSSlack 1 ComputerPath)	QoSontology.kif 1194-1194	The number 1 argument of qoS slack is an instance of computer path
(domain simpleDeadline 1 ComputerPath)	QoSontology.kif 1172-1172	The number 1 argument of simple deadline is an instance of computer path
(domain slidingWindowSize 1 ComputerPath)	QoSontology.kif 1202-1202	The number 1 argument of sliding window size is an instance of computer path
(domain softwarePath 2 ComputerPath)	QoSontology.kif 1085-1085	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 1165-1169	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 1159-1163	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 1137-1141	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 1131-1135	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 1097-1102