TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ComputerPath DigitalData)	QoSontology.kif 1174-1174	Computer path is a subclass of digital data
(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 1175-1177	Computer path is a subclass of digital data

appearance as argument number 2

(termFormat EnglishLanguage ComputerPath "computer path")	domainEnglishFormat.kif 16344-16344
(termFormat ChineseTraditionalLanguage ComputerPath "計算機路徑")	domainEnglishFormat.kif 16345-16345
(termFormat ChineseLanguage ComputerPath "计算机路径")	domainEnglishFormat.kif 16346-16346

appearance as argument number 3

(domain softwarePath 2 ComputerPath)	QoSontology.kif 1181-1181	The number 2 argument of software path is an instance of computer path
(domain simpleDeadline 1 ComputerPath)	QoSontology.kif 1268-1268	The number 1 argument of simple deadline is an instance of computer path
(domain batchLatency 1 ComputerPath)	QoSontology.kif 1276-1276	The number 1 argument of batch latency is an instance of computer path
(domain batchInterArrival 1 ComputerPath)	QoSontology.kif 1282-1282	The number 1 argument of batch inter arrival is an instance of computer path
(domain qoSSlack 1 ComputerPath)	QoSontology.kif 1290-1290	The number 1 argument of qoS slack is an instance of computer path
(domain slidingWindowSize 1 ComputerPath)	QoSontology.kif 1298-1298	The number 1 argument of sliding window size is an instance of computer path
(domain dataStreamSlack 1 ComputerPath)	QoSontology.kif 1304-1304	The number 1 argument of data stream slack is an instance of computer path

antecedent

(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream)))	QoSontology.kif 1227-1231	If X is an instance of computer path and X the attribute dynamic data stream, then X does not have the attribute stochastic data stream
(=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path DeterministicDataStream)))	QoSontology.kif 1233-1237	If X is an instance of computer path and X the attribute dynamic data stream, then X does not have the attribute deterministic data stream
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath)))	QoSontology.kif 1255-1259	If X is an instance of computer path and X the attribute continuous path, then X does not have the attribute transient path
(=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path QuasicontinuousPath)))	QoSontology.kif 1261-1265	If X is an instance of computer path and X the attribute continuous path, then X does not have the attribute quasicontinuous path

consequent

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

If X is an instance of computer path attribute, then there exists Y such that Y is an instance of computer path and Y the attribute X