TreeView Knowledge Base Browser - ComputerPathAttribute

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

appearance as argument number 2

(instance PathImportanceFunction ComputerPathAttribute)	QoSontology.kif 1104-1104	PathImportanceFunction è un' istanza di ComputerPathAttribute
(subclass ContinuousPath ComputerPathAttribute)	QoSontology.kif 1143-1143	ContinuousPath è una sottoclasse di ComputerPathAttribute
(subclass DeterministicDataStream ComputerPathAttribute)	QoSontology.kif 1125-1125	DeterministicDataStream è una sottoclasse di ComputerPathAttribute
(subclass DynamicDataStream ComputerPathAttribute)	QoSontology.kif 1115-1115	DynamicDataStream è una sottoclasse di ComputerPathAttribute
(subclass QuasicontinuousPath ComputerPathAttribute)	QoSontology.kif 1153-1153	QuasicontinuousPath è una sottoclasse di ComputerPathAttribute
(subclass Scalable ComputerPathAttribute)	QoSontology.kif 1110-1110	Scalable è una sottoclasse di ComputerPathAttribute
(subclass StochasticDataStream ComputerPathAttribute)	QoSontology.kif 1120-1120	StochasticDataStream è una sottoclasse di ComputerPathAttribute
(subclass TransientPath ComputerPathAttribute)	QoSontology.kif 1149-1149	TransientPath è una sottoclasse di ComputerPathAttribute
(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