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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DynamicDataStream

Sigma KEE - DynamicDataStream
DynamicDataStream

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


(documentation DynamicDataStream EnglishLanguage "The attribute which denotes that the path data stream type is dynamic, i.e. the time changes but the data stream follows a pattern.") QoSontology.kif 1116-1118
(subclass DynamicDataStream ComputerPathAttribute) QoSontology.kif 1115-1115

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


(termFormat ChineseLanguage DynamicDataStream "动态数据流") domainEnglishFormat.kif 20760-20760
(termFormat ChineseTraditionalLanguage DynamicDataStream "動態數據流") domainEnglishFormat.kif 20759-20759
(termFormat EnglishLanguage DynamicDataStream "dynamic data stream") domainEnglishFormat.kif 20758-20758

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


(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path DeterministicDataStream)))
QoSontology.kif 1137-1141
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path StochasticDataStream)))
QoSontology.kif 1131-1135


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

Show without tree


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