| ComputerProgram
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3761-3761 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16910-16911 | |
| 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. | engineering.kif 1608-1608 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1607-1607 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16909-16909 | 子類 ComputerProgram and Procedure |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 813-813 | 子類 ComputerProgram and Software |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1828-1828 | 例 JOPES and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2169-2169 | 子類 影/音控制傳輸協議 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2949-2949 | 子類 Flash and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1947-1947 | 子類 app and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1970-1970 | 子類 蘋果app 商店 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 917-917 | 子類 FaceTime and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 955-955 | 子類 FairPlay and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2932-2932 | 子類 蘋果快速 App切換器 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 881-881 | 子類 GarageBand and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 899-899 | 子類 iCloud and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 905-905 | 子類 iLife and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 893-893 | 子類 iMessages and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 887-887 | 子類 iMovie and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 911-911 | 子類 iWork and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 988-988 | 子類 遷移助理 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 981-981 | 子類 設置助理 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1911-1911 | 子類 應用程式介面 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 684-684 | 子類 自動申請 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2281-2281 | 子類 小書籤 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2307-2307 | 子類 日曆 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2329-2329 | 子類 照相機 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 714-714 | 子類 控制台應用 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4054-4054 | 子類 DHCPProgram and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3102-3102 | 子類 發信者 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4251-4251 | 子類 FindMyIPhone and ComputerProgram |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1425-1425 | 域 CPU利用率, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1418-1418 | 域 初步資料, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 441-441 | 域 關掉, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 401-401 | 域 啟動, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1401-1401 | 域 命令行參數, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 749-749 | 域 臨界水平, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1350-1350 | 域 依賴延遲, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1327-1327 | 域 依賴類型, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 461-461 | 域 環境屬性, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1344-1344 | 域 有依賴性, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1345-1345 | 域 有依賴性, 2 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4044-4044 | 域 implementsProtocol, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 847-847 | 域 最大的複制, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 826-826 | 域 最小重複, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1080-1080 | 域 監控應用數據, 2 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 874-874 | 域 端口號, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 743-743 | 域 程序副本, 2 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 209-209 | 域 程序運行, 2 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 187-187 | 域 繼續前進, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 338-338 | 域 能够操作, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 819-819 | 域 安頓時間, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 413-413 | 域 關閉, 2 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1027-1027 | 域 心跳率, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3865-3865 | 域 softwareVersion, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 373-373 | 域 的啟動, 2 and ComputerProgram |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3593-3601 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3603-3617 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3826-3840 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3603-3617 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1929-1934 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3167-3174 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16917-16922 | |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1736-1746 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1534-1540 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2544-2552 | |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2008-2010 |
|
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 819-824 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 157-164 |
|
| 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 705-712 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 668-676 |
|
|
|