appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2502-2503 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1097-1097 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2501-2501 | Electric device is a subclass of device |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4484-4484 | UnpoweredDevice is disjoint from electric device |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 628-628 | Accelerometer is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25379-25379 | Air conditioner is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2537-2537 | Battery is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 532-532 | Capacitor element is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2410-2410 | Charger is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 25-25 | Computer is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3522-3522 | Device power supply is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24930-24930 | Coffee maker is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5079-5079 | ElectricLightFixture is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1739-1739 | Electric motor is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 485-485 | ElectricSpeakerDevice is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 983-983 | Electrical circuit is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 979-979 | Electrical component is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 794-794 | Electrical motor is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2175-2175 | Electrified railway car is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3890-3890 | Electromagnet is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24532-24532 | Iron is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2950-2950 | Fax machine is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24737-24737 | Hair dryer is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 549-549 | Inductor element is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1756-1756 | Microphone is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24773-24773 | Microwave is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25682-25682 | Photocopier is a subclass of electric device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2541-2541 | Radar is a subclass of electric device |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
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 556-566 |
|
No TPTP formula. May not be expressible in strict first order. | engineering.kif 1138-1150 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1747-1754 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2599-2604 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2611-2616 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 686-692 |
|
![]() |
![]() |