|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24054-24054 | ContraceptiveDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2282-2282 | CoolingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21993-21993 | CuttingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 770-770 | Damper e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25606-25606 | DataStorageDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2273-2273 | Distributor e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15255-15255 | Door e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2316-2316 | Drivebelt e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25362-25362 | DryingDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26036-26036 | Earphone e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2542-2542 | ElectricDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25893-25893 | ElectricalOutlet e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1309-1309 | EngineChoke e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1973-1973 | EngineConnectingRod e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16078-16078 | Componente de Engenharia e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2625-2625 | ExhaustManifold e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17840-17840 | ExplosiveDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2533-2533 | FileDevice e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2519-2519 | Filter e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26440-26440 | FireAlarm e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25477-25477 | FireExtinguisher e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15353-15353 | Fireplace e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1105-1105 | FuelAtomizer e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2540-2540 | GasPedal e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2838-2838 | Gasket e' uma sub-classe de Aparelho |
| 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