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 20683-20683
(termFormat ChineseTraditionalLanguage DynamicDataStream "動態數據流") domainEnglishFormat.kif 20682-20682
(termFormat EnglishLanguage DynamicDataStream "dynamic data stream") domainEnglishFormat.kif 20681-20681

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 3.0 is open source software produced by Articulate Software and its partners