|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15010-15010 | Industry e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5342-5342 | InlandWaterSystem e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1675-1675 | Meal e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14449-14449 | MediaSystem e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 957-957 | MerchantMarine e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 713-713 | MonoploidChromosomeSet e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4486-4486 | MultivariateTest e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 464-464 | Outfit e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3773-3773 | RemoteKeylessSystem e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5510-5510 | RiverSystem e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 138-138 | RoomInventory e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 669-669 | Script e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11480-11480 | Skull e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3362-3362 | SolarSystem e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26961-26961 | SurveillanceSystem e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2049-2049 | Train e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1126-1126 | VisitorProfile e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 133-133 | WebListingCategory e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2119-2119 | WebStore e' uma sub-classe de Colecao |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 832-832 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 866-866 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 508-508 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 40-40 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 43-43 | |
| 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