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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuasicontinuousPath
QuasicontinuousPath

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


(documentation QuasicontinuousPath EnglishLanguage "An attribute which applies to computer paths which handle random events, which initiate a bounded stream of data arriving at a comment of rate, which the path must process.") QoSontology.kif 1159-1162
(subclass QuasicontinuousPath ComputerPathAttribute) QoSontology.kif 1158-1158 subclass QuasicontinuousPath and ComputerPathAttribute

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


(termFormat ChineseLanguage QuasicontinuousPath "准连续路径") domainEnglishFormat.kif 48247-48247 termFormat ChineseLanguage, QuasicontinuousPath and "准连续路径"
(termFormat ChineseTraditionalLanguage QuasicontinuousPath "準連續路徑") domainEnglishFormat.kif 48246-48246 termFormat ChineseTraditionalLanguage, QuasicontinuousPath and "準連續路徑"
(termFormat EnglishLanguage QuasicontinuousPath "quasicontinuous path") domainEnglishFormat.kif 48245-48245 termFormat EnglishLanguage, QuasicontinuousPath and "quasicontinuous path"

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


(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path QuasicontinuousPath)))
QoSontology.kif 1170-1174
(=>
    (dataStreamSlack ?Path ?Number)
    (or
        (property ?Path ContinuousPath)
        (property ?Path QuasicontinuousPath)))
QoSontology.kif 1219-1223


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