Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  DeterministicDataStream

 Sigma KEE - DeterministicDataStream
DeterministicDataStream(deterministic data stream)

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


(subclass DeterministicDataStream ComputerPathAttribute) QoSontology.kif 1221-1221 Deterministic data stream is a subclass of computer path attribute
(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 1222-1225 Deterministic data stream is a subclass of computer path attribute

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


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

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


(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path DynamicDataStream))
    (not
        (property ?Path DeterministicDataStream)))		 QoSontology.kif 1233-1237 If X is an instance of computer path and X the attribute dynamic data stream, then X does not have the attribute deterministic data stream


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners