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	ComputerPath è una sottoclasse di DigitalData

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	Il numero 1 argomenti di batchInterArrival è un istanza di ComputerPath
(domain batchLatency 1 ComputerPath)	QoSontology.kif 1286-1286	Il numero 1 argomenti di batchLatency è un istanza di ComputerPath
(domain dataStreamSlack 1 ComputerPath)	QoSontology.kif 1314-1314	Il numero 1 argomenti di dataStreamSlack è un istanza di ComputerPath
(domain qoSSlack 1 ComputerPath)	QoSontology.kif 1300-1300	Il numero 1 argomenti di qoSSlack è un istanza di ComputerPath
(domain simpleDeadline 1 ComputerPath)	QoSontology.kif 1278-1278	Il numero 1 argomenti di simpleDeadline è un istanza di ComputerPath
(domain slidingWindowSize 1 ComputerPath)	QoSontology.kif 1308-1308	Il numero 1 argomenti di slidingWindowSize è un istanza di ComputerPath
(domain softwarePath 2 ComputerPath)	QoSontology.kif 1191-1191	Il numero 2 argomenti di softwarePath è un istanza di ComputerPath

antecedent

(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path QuasicontinuousPath)))	QoSontology.kif 1271-1275	Entit� è un' istanza di ComputerPath Entit� ha un attributo ContinuousPath Entit� ha un attributo QuasicontinuousPath
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath)))	QoSontology.kif 1265-1269	Entit� è un' istanza di ComputerPath Entit� ha un attributo ContinuousPath Entit� ha un attributo TransientPath
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path DeterministicDataStream)))	QoSontology.kif 1243-1247	Entit� è un' istanza di ComputerPath Entit� ha un attributo DynamicDataStream Entit� ha un attributo DeterministicDataStream
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream)))	QoSontology.kif 1237-1241	Entit� è un' istanza di ComputerPath Entit� ha un attributo DynamicDataStream Entit� ha un attributo StochasticDataStream

consequent

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

QoSontology.kif 1203-1208