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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StochasticDataStream
StochasticDataStream(stochastic data stream)

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


(documentation StochasticDataStream EnglishLanguage "The attribute which denotes that the time between data or groups of data changes according to no discernible pattern.") QoSontology.kif 1121-1123
(subclass StochasticDataStream ComputerPathAttribute) QoSontology.kif 1120-1120 Stochastic data stream is a subclass of computer path attribute

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


(termFormat ChineseLanguage StochasticDataStream "随机数据流") domainEnglishFormat.kif 55380-55380
(termFormat ChineseTraditionalLanguage StochasticDataStream "隨機數據流") domainEnglishFormat.kif 55379-55379
(termFormat EnglishLanguage StochasticDataStream "stochastic data stream") domainEnglishFormat.kif 55378-55378

consequent
-------------------------


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