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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TransientPath
TransientPath

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


(documentation TransientPath EnglishLanguage "An attribute which applies to computer paths which handle random events.") QoSontology.kif 1150-1151
(subclass TransientPath ComputerPathAttribute) QoSontology.kif 1149-1149 TransientPathComputerPathAttributesubclass では %n

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


(termFormat ChineseLanguage TransientPath "瞬态路径") domainEnglishFormat.kif 58838-58838
(termFormat ChineseTraditionalLanguage TransientPath "瞬態路徑") domainEnglishFormat.kif 58837-58837
(termFormat EnglishLanguage TransientPath "transient path") domainEnglishFormat.kif 58836-58836

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


(=>
    (and
        (instance ?Path ComputerPath)
        (property ?Path ContinuousPath))
    (not
        (property ?Path TransientPath)))
QoSontology.kif 1159-1163


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