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 1116-1118
(subclass DynamicDataStream ComputerPathAttribute) QoSontology.kif 1115-1115 DynamicDataStream est une sous-classe de ComputerPathAttribute

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