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	ComputerPath est une sous-classe de 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	Le nombre 1 argument de batchInterArrival est une instance de ComputerPath
(domain batchLatency 1 ComputerPath)	QoSontology.kif 1180-1180	Le nombre 1 argument de batchLatency est une instance de ComputerPath
(domain dataStreamSlack 1 ComputerPath)	QoSontology.kif 1208-1208	Le nombre 1 argument de dataStreamSlack est une instance de ComputerPath
(domain qoSSlack 1 ComputerPath)	QoSontology.kif 1194-1194	Le nombre 1 argument de qoSSlack est une instance de ComputerPath
(domain simpleDeadline 1 ComputerPath)	QoSontology.kif 1172-1172	Le nombre 1 argument de simpleDeadline est une instance de ComputerPath
(domain slidingWindowSize 1 ComputerPath)	QoSontology.kif 1202-1202	Le nombre 1 argument de slidingWindowSize est une instance de ComputerPath
(domain softwarePath 2 ComputerPath)	QoSontology.kif 1085-1085	Le nombre 2 argument de softwarePath est une instance de ComputerPath

antecedent

(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path QuasicontinuousPath)))	QoSontology.kif 1165-1169	Entit� est une instance de ComputerPath entit� a un attribute ContinuousPath entit� a un attribute QuasicontinuousPath
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath)))	QoSontology.kif 1159-1163	Entit� est une instance de ComputerPath entit� a un attribute ContinuousPath entit� a un attribute TransientPath
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path DeterministicDataStream)))	QoSontology.kif 1137-1141	Entit� est une instance de ComputerPath entit� a un attribute DynamicDataStream entit� a un attribute DeterministicDataStream
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream)))	QoSontology.kif 1131-1135	Entit� est une instance de ComputerPath entit� a un attribute DynamicDataStream entit� a un attribute StochasticDataStream

consequent

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

QoSontology.kif 1097-1102