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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QuasicontinuousPath
QuasicontinuousPath(quasicontinuous path)

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 1154-1157
(subclass QuasicontinuousPath ComputerPathAttribute) QoSontology.kif 1153-1153 Quasicontinuous path is a subclass of computer path attribute

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


(termFormat ChineseLanguage QuasicontinuousPath "准连续路径") domainEnglishFormat.kif 48346-48346
(termFormat ChineseTraditionalLanguage QuasicontinuousPath "準連續路徑") domainEnglishFormat.kif 48345-48345
(termFormat EnglishLanguage QuasicontinuousPath "quasicontinuous path") domainEnglishFormat.kif 48344-48344

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


(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path QuasicontinuousPath)))
QoSontology.kif 1165-1169
(=>
    (dataStreamSlack ?Path ?Number)
    (or
        (property ?Path ContinuousPath)
        (property ?Path QuasicontinuousPath)))
QoSontology.kif 1214-1218


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