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

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


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

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 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