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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeterministicDataStream
DeterministicDataStream(deterministic data stream)

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 Deterministic data stream is a subclass of computer path attribute

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


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

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