|
|
   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 16784-16785 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1708-1708 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1295-1295 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1294-1294 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16783-16783 | 子類 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 578-578 | 子類 自動申請 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 608-608 | 子類 控制台應用 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 1319-1319 | 域 CPU利用率, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1312-1312 | 域 初步資料, 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 1295-1295 | 域 命令行參數, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 643-643 | 域 臨界水平, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1244-1244 | 域 依賴延遲, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1221-1221 | 域 依賴類型, 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 1238-1238 | 域 有依賴性, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1239-1239 | 域 有依賴性, 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 741-741 | 域 最大的複制, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 720-720 | 域 最小重複, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 974-974 | 域 監控應用數據, 2 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 768-768 | 域 端口號, 1 and ComputerProgram |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 637-637 | 域 程序副本, 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 713-713 | 域 安頓時間, 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 921-921 | 域 心跳率, 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 16791-16796 | |
| 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. | QoSontology.kif 599-606 |
|
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 562-570 |
|
|
|
