Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerPathAttribute
ComputerPathAttribute(computer path attribute)

appearance as argument number 1
-------------------------


(documentation ComputerPathAttribute EnglishLanguage "The class of all attributes that are specific to ComputerPaths.") QoSontology.kif 1200-1201
(subclass ComputerPathAttribute SoftwareAttribute) QoSontology.kif 1199-1199 Computer path attribute is a subclass of software attribute

appearance as argument number 2
-------------------------


(instance PathImportanceFunction ComputerPathAttribute) QoSontology.kif 1210-1210 Path importance function is an instance of computer path attribute
(subclass ContinuousPath ComputerPathAttribute) QoSontology.kif 1249-1249 Continuous path is a subclass of computer path attribute
(subclass DeterministicDataStream ComputerPathAttribute) QoSontology.kif 1231-1231 Deterministic data stream is a subclass of computer path attribute
(subclass DynamicDataStream ComputerPathAttribute) QoSontology.kif 1221-1221 Dynamic data stream is a subclass of computer path attribute
(subclass QuasicontinuousPath ComputerPathAttribute) QoSontology.kif 1259-1259 Quasicontinuous path is a subclass of computer path attribute
(subclass Scalable ComputerPathAttribute) QoSontology.kif 1216-1216 Scalable is a subclass of computer path attribute
(subclass StochasticDataStream ComputerPathAttribute) QoSontology.kif 1226-1226 Stochastic data stream is a subclass of computer path attribute
(subclass TransientPath ComputerPathAttribute) QoSontology.kif 1255-1255 Transient path is a subclass of computer path attribute
(termFormat ChineseLanguage ComputerPathAttribute "计算机路径属性") domainEnglishFormat.kif 16365-16365 Transient path is a subclass of computer path attribute
(termFormat ChineseTraditionalLanguage ComputerPathAttribute "計算機路徑屬性") domainEnglishFormat.kif 16364-16364 Transient path is a subclass of computer path attribute
(termFormat EnglishLanguage ComputerPathAttribute "computer path attribute") domainEnglishFormat.kif 16363-16363 Transient path is a subclass of computer path attribute

antecedent
-------------------------


(=>
    (instance ?Attribute ComputerPathAttribute)
    (exists (?Path)
        (and
            (instance ?Path ComputerPath)
            (property ?Path ?Attribute))))		 QoSontology.kif 1203-1208


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners