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


KB Term:  Term intersection
English Word: 

  ContinuousPath

 Sigma KEE - ContinuousPath
ContinuousPath(continuous path)

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


(subclass ContinuousPath ComputerPathAttribute) QoSontology.kif 1239-1239 Continuous path is a subclass of computer path attribute
(documentation ContinuousPath EnglishLanguage "The attribute which denotes that the path type is continuous, as opposed to transient or quasicontinuous paths. A continuous path handles a stream of data arriving at a comment of rate.") QoSontology.kif 1240-1243 Continuous path is a subclass of computer path attribute

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


(termFormat EnglishLanguage ContinuousPath "continuous path") domainEnglishFormat.kif 16986-16986
(termFormat ChineseTraditionalLanguage ContinuousPath "連續路徑") domainEnglishFormat.kif 16987-16987
(termFormat ChineseLanguage ContinuousPath "连续路径") domainEnglishFormat.kif 16988-16988

antecedent
-------------------------


(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path TransientPath)))		 QoSontology.kif 1255-1259 If X is an instance of computer path and X the attribute continuous path, then X does not have the attribute transient path
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path QuasicontinuousPath)))		 QoSontology.kif 1261-1265 If X is an instance of computer path and X the attribute continuous path, then X does not have the attribute quasicontinuous path

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


(=>
    (dataStreamSlack ?Path ?Number)
    (or
        (property ?Path ContinuousPath)
        (property ?Path QuasicontinuousPath)))		 QoSontology.kif 1310-1314 If X is a data stream slack of Y, then Y the attribute continuous path or Y the attribute quasicontinuous path


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