Device(device) |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3012-3012 | Grease fitting is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3036-3036 | Grease gun is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4208-4208 | Hammer is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5160-5160 | Heat sealer is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2305-2305 | Heating device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4314-4314 | Holder is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1360-1360 | Internet access point is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25196-25196 | Ironing board is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3217-3217 | Jumper cable is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 112-112 | Keyboard is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25804-25804 | Knock light is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3775-3775 | Keyboard is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3758-3758 | Clamshell is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1317-1317 | Lever is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4007-4007 | Lid is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3014-3014 | Light fixture is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16063-16063 | Machine is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2271-2271 | Major appliance is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1934-1934 | Match device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2462-2462 | Material handling equipment is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16022-16022 | Measuring device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4223-4223 | Die is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4209-4209 | Tap is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 661-661 | Medical device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15979-15979 | Musical instrument is a subclass of device |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |