|
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3006-3006 | Grease fitting is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3030-3030 | 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 25197-25197 | Ironing board is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3209-3209 | 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 25816-25816 | 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 16041-16041 | 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 16000-16000 | Measuring device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4215-4215 | Die is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4201-4201 | 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 15957-15957 | 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