No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4481-4481 |
不相交的 UnpoweredDevice and 電器 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 628-628 |
子類 Accelerometer and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25988-25988 |
子類 AirConditioner and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2578-2578 |
子類 電池 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 535-535 |
子類 電容器元件 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2410-2410 |
子類 充電器 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 25-25 |
子類 電腦 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3559-3559 |
子類 DevicePowerSupply and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 374-374 |
子類 ElectricCoffeeMaker and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 5076-5076 |
子類 ElectricLightFixture and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1780-1780 |
子類 電動馬達 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 485-485 |
子類 ElectricSpeakerDevice and 電器 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 984-984 |
子類 電路 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 980-980 |
子類 電氣元件 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 796-796 |
子類 電動機 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2167-2167 |
子類 電氣化鐵路車 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3887-3887 |
子類 Electromagnet and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25176-25176 |
子類 FabricIron and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2995-2995 |
子類 傳真機 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4459-4459 |
子類 FitbitDevice and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25381-25381 |
子類 HairDryer and 電器 |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 552-552 |
子類 電感元件 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1797-1797 |
子類 麥克風 and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 350-350 |
子類 Microwave and 電器 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26292-26292 |
子類 Photocopier and 電器 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |