Device(device) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24055-24055 | Contraceptive device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2282-2282 | Cooling device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21994-21994 | Cutting device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 770-770 | Damper is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25618-25618 | Data storage device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2267-2267 | Distributor is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15256-15256 | Door is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2310-2310 | Drivebelt is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25363-25363 | Drying device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26048-26048 | Earphone is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2542-2542 | Electric device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25905-25905 | Electrical outlet is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1309-1309 | Engine choke is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1967-1967 | Engine connecting rod is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16056-16056 | Engineering component is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2619-2619 | Exhaust manifold is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17841-17841 | Explosive device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2533-2533 | File device is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2519-2519 | Filter is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26452-26452 | Fire alarm is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25478-25478 | Fire extinguisher is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15354-15354 | Fireplace is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1105-1105 | Fuel atomizer is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2534-2534 | Gas pedal is a subclass of device |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2832-2832 | Gasket is a subclass of device |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |