|
|
   ComputerProcess
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 154-155 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1707-1707 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 153-153 | 子類 電腦程序 and InternalChange |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1882-1882 | 子類 退出 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3491-3491 | 子類 ComputerBackingUp and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1741-1741 | 子類 電腦回應 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1794-1794 | 子類 電腦任務 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4037-4037 | 子類 DHCPServer and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1922-1922 | 子類 數據壓縮 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1903-1903 | 子類 數據保存 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 91-91 | 子類 數據傳輸 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 109-109 | 子類 DeletingData and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3419-3419 | 子類 粉碎 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 883-883 | 子類 測量性能 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3792-3792 | 子類 MountingADevice and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1779-1779 | 子類 多任務處理 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 132-132 | 子類 RestoringData and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1973-1973 | 子類 重用資源 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1730-1730 | 子類 用戶請求 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1199-1199 | 子類 UserSignifiedAction and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1957-1957 | 子類 使用A資源 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1770-1770 | 子類 WindowScrolling and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16356-16356 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16355-16355 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16354-16354 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4161-4161 | 域 accountUsed, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 202-202 | 域 電腦運行, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1877-1877 | 域 數據已處理, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1889-1889 | 域 過程中止, 2 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 776-776 | 域 過程ID, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 208-208 | 域 程序運行, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1994-1994 | 域 使用的資源, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 534-534 | 域 標準錯誤設備, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 503-503 | 域 標準輸入設備, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 517-517 | 域 標準輸出設備, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 573-573 | 域 進程狀態, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 798-798 | 域 狀態, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1952-1952 | 域 任務, 1 and 電腦程序 |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3496-3510 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3972-3986 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3988-4002 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 427-438 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 387-398 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1960-1968 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3120-3128 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3182-3193 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 112-129 | |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 135-151 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4347-4358 |
|
|
|
|
