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 48227-48227
(termFormat ChineseTraditionalLanguage QuasicontinuousPath "準連續路徑") domainEnglishFormat.kif 48226-48226
(termFormat EnglishLanguage QuasicontinuousPath "quasicontinuous path") domainEnglishFormat.kif 48225-48225

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 3.0 is open source software produced by Articulate Software and its partners