No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 153-153 | 子類 電腦程序 and InternalChange |
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. | QoSontology.kif 132-132 | 子類 RestoringData 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. | QoSontology.kif 1730-1730 | 子類 用戶請求 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 1779-1779 | 子類 多任務處理 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. | QoSontology.kif 1882-1882 | 子類 退出 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 1922-1922 | 子類 數據壓縮 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. | QoSontology.kif 1973-1973 | 子類 重用資源 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. | ComputingBrands.kif 3491-3491 | 子類 ComputerBackingUp 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. | ComputingBrands.kif 4037-4037 | 子類 DHCPServer 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. | ComputerInput.kif 1770-1770 | 子類 WindowScrolling and 電腦程序 |