|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15353-15353 | Fireplace is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1625-1625 | Fixed bridge is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15321-15321 | Floor is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15473-15473 | Garage is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3083-3083 | Genius Bar is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 89-89 | Hotel unit is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15685-15685 | Industrial plant is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15706-15706 | Laboratory is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26651-26651 | Lanai is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15726-15726 | Military installation is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6742-6742 | Mine is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6830-6830 | Monument is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15748-15748 | Performance stage is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15767-15767 | Performance stage wing is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7029-7029 | Place of commerce is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15639-15639 | Veranda is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | Postal place is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6763-6763 | Prison is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 378-378 | Railroad track is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 346-346 | Railway is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 21-21 | Recording studio is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15776-15776 | Residence is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15343-15343 | Roof is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15755-15755 | Room is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25800-25800 | Running track is a subclass of stationary artifact |
| 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