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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StochasticDataStream
StochasticDataStream

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 1126-1128
(subclass StochasticDataStream ComputerPathAttribute) QoSontology.kif 1125-1125

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


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

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


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