| ElectricDevice
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2536-2537 | |
| 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 2535-2535 | ElectricDevice e' uma sub-classe de Aparelho |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4466-4466 | UnpoweredDevice e' disjunto de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 628-628 | Accelerometer e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26021-26021 | AirConditioner e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2571-2571 | Battery e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 535-535 | CapacitorElement e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2393-2393 | Charger e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | Computer e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3559-3559 | DevicePowerSupply e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 374-374 | ElectricCoffeeMaker e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5061-5061 | ElectricLightFixture e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1773-1773 | ElectricMotor e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 485-485 | ElectricSpeakerDevice e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 984-984 | ElectricalCircuit e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 980-980 | ElectricalComponent e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 796-796 | ElectricalMotor e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2173-2173 | ElectrifiedRailwayCar e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3872-3872 | Electromagnet e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25233-25233 | FabricIron e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2988-2988 | FaxMachine e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4459-4459 | FitbitDevice e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25438-25438 | HairDryer e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 552-552 | InductorElement e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1790-1790 | Microphone e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 350-350 | Microwave e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26325-26325 | Photocopier e' uma sub-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 2539-2547 | |
| 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 25980-25993 |
|
| 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 1781-1788 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2633-2638 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2645-2650 |
|
| No TPTP formula. May not be expressible in strict first order. | Music.kif 689-695 |
|
|
|