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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners