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 1121-1123
(subclass StochasticDataStream ComputerPathAttribute) QoSontology.kif 1120-1120 StochasticDataStream è una sottoclasse di ComputerPathAttribute

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


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

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