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	ComputerPathAttribute est une sous-classe de SoftwareAttribute

appearance as argument number 2

(instance PathImportanceFunction ComputerPathAttribute)	QoSontology.kif 1104-1104	PathImportanceFunction est une instance de ComputerPathAttribute
(subclass ContinuousPath ComputerPathAttribute)	QoSontology.kif 1143-1143	ContinuousPath est une sous-classe de ComputerPathAttribute
(subclass DeterministicDataStream ComputerPathAttribute)	QoSontology.kif 1125-1125	DeterministicDataStream est une sous-classe de ComputerPathAttribute
(subclass DynamicDataStream ComputerPathAttribute)	QoSontology.kif 1115-1115	DynamicDataStream est une sous-classe de ComputerPathAttribute
(subclass QuasicontinuousPath ComputerPathAttribute)	QoSontology.kif 1153-1153	QuasicontinuousPath est une sous-classe de ComputerPathAttribute
(subclass Scalable ComputerPathAttribute)	QoSontology.kif 1110-1110	Scalable est une sous-classe de ComputerPathAttribute
(subclass StochasticDataStream ComputerPathAttribute)	QoSontology.kif 1120-1120	StochasticDataStream est une sous-classe de ComputerPathAttribute
(subclass TransientPath ComputerPathAttribute)	QoSontology.kif 1149-1149	TransientPath est une sous-classe de ComputerPathAttribute
(termFormat ChineseLanguage ComputerPathAttribute "计算机路径属性")	domainEnglishFormat.kif 16347-16347
(termFormat ChineseTraditionalLanguage ComputerPathAttribute "計算機路徑屬性")	domainEnglishFormat.kif 16346-16346
(termFormat EnglishLanguage ComputerPathAttribute "computer path attribute")	domainEnglishFormat.kif 16345-16345

antecedent

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

QoSontology.kif 1097-1102