| 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 1706-1706 | |
| 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 1988-1988 | 子類 退出 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 1847-1847 | 子類 電腦回應 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1900-1900 | 子類 電腦任務 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 2028-2028 | 子類 數據壓縮 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2009-2009 | 子類 數據保存 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 989-989 | 子類 測量性能 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 1885-1885 | 子類 多任務處理 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 2079-2079 | 子類 重用資源 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1836-1836 | 子類 用戶請求 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 2063-2063 | 子類 使用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 16371-16371 | 子類 WindowScrolling and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16370-16370 | 子類 WindowScrolling and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16369-16369 | 子類 WindowScrolling and 電腦程序 |
| 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 1983-1983 | 域 數據已處理, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1995-1995 | 域 過程中止, 2 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 882-882 | 域 過程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 2100-2100 | 域 使用的資源, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 640-640 | 域 標準錯誤設備, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 609-609 | 域 標準輸入設備, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 623-623 | 域 標準輸出設備, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 679-679 | 域 進程狀態, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 904-904 | 域 狀態, 1 and 電腦程序 |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2058-2058 | 域 任務, 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 3243-3254 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 999-1013 | |
| 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 |
|
|
|
|