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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeterministicDataStream
DeterministicDataStream

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


(documentation DeterministicDataStream EnglishLanguage "The attribute which denotes that the data stream is conceived as a stream of one datum after another, and each datum or identifiable group of data is separated by a constant of time.") QoSontology.kif 1131-1134
(subclass DeterministicDataStream ComputerPathAttribute) QoSontology.kif 1130-1130

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


(termFormat ChineseLanguage DeterministicDataStream "确定性数据流") domainEnglishFormat.kif 19287-19287
(termFormat ChineseTraditionalLanguage DeterministicDataStream "確定性數據流") domainEnglishFormat.kif 19286-19286
(termFormat EnglishLanguage DeterministicDataStream "deterministic data stream") domainEnglishFormat.kif 19285-19285

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


(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path DeterministicDataStream)))
QoSontology.kif 1142-1146


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