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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 1121-1123
(subclass DynamicDataStream ComputerPathAttribute) QoSontology.kif 1120-1120 subclass DynamicDataStream and ComputerPathAttribute

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


(termFormat ChineseLanguage DynamicDataStream "动态数据流") domainEnglishFormat.kif 20689-20689 termFormat ChineseLanguage, DynamicDataStream and "动态数据流"
(termFormat ChineseTraditionalLanguage DynamicDataStream "動態數據流") domainEnglishFormat.kif 20688-20688 termFormat ChineseTraditionalLanguage, DynamicDataStream and "動態數據流"
(termFormat EnglishLanguage DynamicDataStream "dynamic data stream") domainEnglishFormat.kif 20687-20687 termFormat EnglishLanguage, DynamicDataStream and "dynamic data stream"

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


(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path DeterministicDataStream)))
QoSontology.kif 1142-1146
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path StochasticDataStream)))
QoSontology.kif 1136-1140


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners