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 | 电脑程序 是 内部变化 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1882-1882 | 退出 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3491-3491 | ComputerBackingUp 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1741-1741 | 电脑回应 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1794-1794 | 电脑任务 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4037-4037 | DHCPServer 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1922-1922 | 数据压缩 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1903-1903 | 数据保存 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 91-91 | 数据传输 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 109-109 | DeletingData 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3419-3419 | 粉碎 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 883-883 | 测量性能 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3792-3792 | MountingADevice 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1779-1779 | 多任务处理 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 132-132 | RestoringData 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1973-1973 | 重用资源 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1730-1730 | 用户请求 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1199-1199 | UserSignifiedAction 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1957-1957 | 使用A资源 是 电脑程序 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1770-1770 | WindowScrolling 是 电脑程序 的 subclass |
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 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 202-202 | 电脑运行 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1877-1877 | 数据已处理 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1889-1889 | 过程中止 的 2 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 776-776 | 过程ID 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 208-208 | 程序运行 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1994-1994 | 使用的资源 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 534-534 | 标准错误设备 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 503-503 | 标准输入设备 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 517-517 | 标准输出设备 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 573-573 | 进程状态 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 798-798 | 状态 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1952-1952 | 任务 的 1 数量 是 电脑程序 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 299-307 | |
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. | QoSontology.kif 660-670 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1270-1284 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1254-1268 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 157-164 |
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 3190-3201 | |
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 |