|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2493-2493 | Optical device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25950-25950 | Outlet adapter is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3252-3252 | Painting device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 753-753 | Pendulum is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2565-2565 | Power source is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2374-2374 | Recreation or exercise device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4276-4276 | Reel is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3844-3844 | Rocker arm is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4123-4123 | Rod is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3358-3358 | Safety device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4193-4193 | Screwdriver is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2659-2659 | Security device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2749-2749 | Self powered device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25418-25418 | Smoke detector is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2009-2009 | Smoking device is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 475-475 | Speaker is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2910-2910 | Governor is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 776-776 | Spring is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25433-25433 | Sprinkler is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2248-2248 | Tableware is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 59-59 | Telephone cradle is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26425-26425 | Telephone handset is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4788-4788 | Tire is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4446-4446 | Snow chain is a subclass of device |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4878-4878 | Tire changer 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