ComputerPathAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ComputerPathAttribute EnglishLanguage "The class of all attributes that are specific to ComputerPaths.")	QoSontology.kif 1094-1095
(subclass ComputerPathAttribute SoftwareAttribute)	QoSontology.kif 1093-1093	计算机路径属性是软件属性的 subclass

appearance as argument number 2

(instance PathImportanceFunction ComputerPathAttribute)	QoSontology.kif 1104-1104	路径重要性功能是计算机路径属性的 instance
(subclass ContinuousPath ComputerPathAttribute)	QoSontology.kif 1143-1143	连续路径是计算机路径属性的 subclass
(subclass DeterministicDataStream ComputerPathAttribute)	QoSontology.kif 1125-1125	确定性数据流是计算机路径属性的 subclass
(subclass DynamicDataStream ComputerPathAttribute)	QoSontology.kif 1115-1115	动态数据流是计算机路径属性的 subclass
(subclass QuasicontinuousPath ComputerPathAttribute)	QoSontology.kif 1153-1153	准连续路径是计算机路径属性的 subclass
(subclass Scalable ComputerPathAttribute)	QoSontology.kif 1110-1110	可扩展性是计算机路径属性的 subclass
(subclass StochasticDataStream ComputerPathAttribute)	QoSontology.kif 1120-1120	随机数据流是计算机路径属性的 subclass
(subclass TransientPath ComputerPathAttribute)	QoSontology.kif 1149-1149	瞬态路径是计算机路径属性的 subclass
(termFormat ChineseLanguage ComputerPathAttribute "计算机路径属性")	domainEnglishFormat.kif 16350-16350
(termFormat ChineseTraditionalLanguage ComputerPathAttribute "計算機路徑屬性")	domainEnglishFormat.kif 16349-16349
(termFormat EnglishLanguage ComputerPathAttribute "computer path attribute")	domainEnglishFormat.kif 16348-16348

antecedent

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

QoSontology.kif 1097-1102