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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ContinuousPath
ContinuousPath(continuous path)continuous_path

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


(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 1139-1142
(subclass ContinuousPath ComputerPathAttribute) QoSontology.kif 1138-1138 Continuous path is a subclass of computer path attribute

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


(termFormat EnglishLanguage ContinuousPath "continuous path") domainEnglishFormat.kif 3252-3252 "continuous path" is the printable form of continuous path in english language

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


(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path QuasicontinuousPath)))
QoSontology.kif 1160-1164
(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path TransientPath)))
QoSontology.kif 1154-1158

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


(=>
    (dataStreamSlack ?Path ?Number)
    (or
        (property ?Path ContinuousPath)
        (property ?Path QuasicontinuousPath)))
QoSontology.kif 1209-1213


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners