| ElectricDevice
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2543-2544 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1096-1096 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2542-2542 | ElectricDevice est une sous-classe de appareil |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4489-4489 | UnpoweredDevice est disjoint de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 628-628 | Accelerometer est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25976-25976 | AirConditioner est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2578-2578 | Battery est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 535-535 | CapacitorElement est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2416-2416 | Charger est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | Computer est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3559-3559 | DevicePowerSupply est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 374-374 | ElectricCoffeeMaker est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5084-5084 | ElectricLightFixture est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1780-1780 | ElectricMotor est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 485-485 | ElectricSpeakerDevice est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 984-984 | ElectricalCircuit est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 980-980 | ElectricalComponent est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 796-796 | ElectricalMotor est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2167-2167 | ElectrifiedRailwayCar est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3895-3895 | Electromagnet est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25175-25175 | FabricIron est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2995-2995 | FaxMachine est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4459-4459 | FitbitDevice est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25380-25380 | HairDryer est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 552-552 | InductorElement est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1797-1797 | Microphone est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 350-350 | Microwave est une sous-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26280-26280 | Photocopier est une sous-classe de ElectricDevice |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2546-2554 | |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 490-494 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25935-25948 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 690-700 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 7186-7198 |
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 559-569 |
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1139-1151 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1788-1795 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2640-2645 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2652-2657 |
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 689-695 |
|
|
|
|