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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransientPath

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 TransientPath e' uma sub-classe de ComputerPathAttribute

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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