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


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