| appearance as argument number 1 |
|
| (documentation ComputerPath EnglishLanguage "An instance of ComputerPath is a series of programs that connects input devices, typically sensors, to output devices, typically actuators.") | QoSontology.kif 1079-1081 | |
| (subclass ComputerPath DigitalData) | QoSontology.kif 1078-1078 | 计算机路径 是 数字数据 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerPath "计算机路径") | domainEnglishFormat.kif 16344-16344 | |
| (termFormat ChineseTraditionalLanguage ComputerPath "計算機路徑") | domainEnglishFormat.kif 16343-16343 | |
| (termFormat EnglishLanguage ComputerPath "computer path") | domainEnglishFormat.kif 16342-16342 |
| appearance as argument number 3 |
|
|
| (domain batchInterArrival 1 ComputerPath) | QoSontology.kif 1186-1186 | 批次到达 的 1 数量 是 计算机路径 的 instance |
| (domain batchLatency 1 ComputerPath) | QoSontology.kif 1180-1180 | 批量延迟 的 1 数量 是 计算机路径 的 instance |
| (domain dataStreamSlack 1 ComputerPath) | QoSontology.kif 1208-1208 | 数据流松弛 的 1 数量 是 计算机路径 的 instance |
| (domain qoSSlack 1 ComputerPath) | QoSontology.kif 1194-1194 | qoS松弛 的 1 数量 是 计算机路径 的 instance |
| (domain simpleDeadline 1 ComputerPath) | QoSontology.kif 1172-1172 | 简单的截止日期 的 1 数量 是 计算机路径 的 instance |
| (domain slidingWindowSize 1 ComputerPath) | QoSontology.kif 1202-1202 | 滑动窗口尺寸 的 1 数量 是 计算机路径 的 instance |
| (domain softwarePath 2 ComputerPath) | QoSontology.kif 1085-1085 | 软件路径 的 2 数量 是 计算机路径 的 instance |
| antecedent |
|
|
| (=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path QuasicontinuousPath))) |
QoSontology.kif 1165-1169 | |
| (=> (and (instance ?Path ComputerPath) (property ?Path ContinuousPath)) (not (property ?Path TransientPath))) |
QoSontology.kif 1159-1163 | |
| (=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path DeterministicDataStream))) |
QoSontology.kif 1137-1141 | |
| (=> (and (instance ?Path ComputerPath) (property ?Path DynamicDataStream)) (not (property ?Path StochasticDataStream))) |
QoSontology.kif 1131-1135 |
| consequent |
|
|
| (=> (instance ?Attribute ComputerPathAttribute) (exists (?Path) (and (instance ?Path ComputerPath) (property ?Path ?Attribute)))) |
QoSontology.kif 1097-1102 |
|
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