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

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


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

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


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


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