Computer(电脑) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 26-28 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 363-363 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1292-1292 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | 电脑 是 电器 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 101-101 | AppleComputer 是 电脑 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2512-2512 | EngineControlModule 是 电脑 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3177-3177 | IgnitionControlModule 是 电脑 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29530-29530 | PortableComputer 是 电脑 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16248-16248 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16247-16247 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 16246-16246 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 203-203 | 电脑运行 的 2 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3534-3534 | connectedPeripheral 的 2 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3951-3951 | deviceAccount 的 2 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1023-1023 | 硬件类型 的 2 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2129-2129 | 主机抖动 的 1 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 550-550 | 的主持 的 2 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2111-2111 | 主持人身份 的 1 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 762-762 | 的IP地址 的 1 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1015-1015 | CPU的数量 的 1 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 188-188 | 继续前进 的 2 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 339-339 | 能够操作 的 2 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1034-1034 | 的门槛 的 1 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4286-4286 | trustedDevice 的 2 数量 是 电脑 的 instance |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 352-352 | 可以操作 的 2 数量 是 电脑 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 728-728 | deviceOS 的 2 数量 是 电脑 的 subclass |
antecedent |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3476-3486 | |
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 3217-3229 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1820-1827 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 63-68 | 躯体性物体 是 电脑硬件 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体 是 电脑 的 instance 和 那个 躯体性物体 是 那个 另外 躯体性物体 的 component |
No TPTP formula. May not be expressible in strict first order. | naics.kif 5126-5150 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1723-1728 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2779-2786 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3324-3337 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4065-4072 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3801-3812 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1311-1318 | |
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. | Hotel.kif 1670-1676 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4347-4358 |