Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TransientPath
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TransientPath ComputerPathAttribute) | QoSontology.kif 1245-1245 | Transient path is a subclass of computer path attribute |
| (documentation TransientPath EnglishLanguage "An attribute which applies to computer paths which handle random events.") | QoSontology.kif 1246-1247 | Transient path is a subclass of computer path attribute |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath))) |
QoSontology.kif 1255-1259 | If X is an instance of computer path and X the attribute continuous path, then X does not have the attribute transient path |
|