|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15352-15352 | 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 15320-15320 | Floor is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15472-15472 | 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 15684-15684 | Industrial plant is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15705-15705 | Laboratory is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26639-26639 | Lanai is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15725-15725 | Military installation is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6741-6741 | Mine is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6829-6829 | Monument is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15747-15747 | Performance stage is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15766-15766 | Performance stage wing is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7028-7028 | Place of commerce is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15638-15638 | Veranda is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24587-24587 | Postal place is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6762-6762 | 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 15798-15798 | Residence is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15342-15342 | Roof is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | Room is a subclass of stationary artifact |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25788-25788 | 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