|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17828-17828 | MilitaryArtifact e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3682-3682 | Mirror e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6755-6755 | MobileResidence e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3560-3560 | Paper e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1537-1537 | PhotographicFilm e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1541-1541 | PictureFrame e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3678-3678 | Pillow e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 291-291 | Piston e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3659-3659 | Plug e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3668-3668 | Pottery e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15714-15714 | Produto e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5625-5625 | Reservoir e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26330-26330 | Sail e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1555-1555 | Shelf e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1468-1468 | Shield e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2559-2559 | ShipCompartment e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2515-2515 | ShipDeck e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2511-2511 | ShipsHull e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5196-5196 | ShoeSole e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15743-15743 | Artefato Estacionario e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3650-3650 | String e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15383-15383 | Texto e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 1830-1830 | TobaccoProduct e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2929-2929 | TransitShelter e' uma sub-classe de Artefato |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1523-1523 | Tube e' uma sub-classe de Artefato |
| 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