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 | 子類 電腦 and 電器 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 101-101 | 子類 AppleComputer and 電腦 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2512-2512 | 子類 EngineControlModule and 電腦 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3177-3177 | 子類 IgnitionControlModule and 電腦 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29530-29530 | 子類 PortableComputer and 電腦 |
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 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3534-3534 | 域 connectedPeripheral, 2 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3951-3951 | 域 deviceAccount, 2 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1023-1023 | 域 硬件類型, 2 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2129-2129 | 域 主機抖動, 1 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 550-550 | 域 的主持, 2 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2111-2111 | 域 主持人身份, 1 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 762-762 | 域 的IP地址, 1 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1015-1015 | 域 CPU的數量, 1 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 188-188 | 域 繼續前進, 2 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 339-339 | 域 能够操作, 2 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1034-1034 | 域 的門檻, 1 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4286-4286 | 域 trustedDevice, 2 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 352-352 | 域子類 可以操作, 2 and 電腦 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 728-728 | 域子類 deviceOS, 2 and 電腦 |
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 | 例 CorpuscularObject and 電腦硬件 CorpuscularObject 例 CorpuscularObject and 電腦 零件 CorpuscularObject and CorpuscularObject |
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 |
|