|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29155-29155 | Unnildecium 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29095-29095 | Unnilhexium 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29125-29125 | Unniloctium 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29080-29080 | Unnilpentium 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29063-29063 | Unnilquadium 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29110-29110 | Unnilseptium 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28847-28847 | 铀 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27622-27622 | 钒 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28146-28146 | 氙 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28452-28452 | 镱 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27893-27893 | 钇 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27742-27742 | 锌 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27910-27910 | 锆 是 元素物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 819-819 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 840-840 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 495-495 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 28-28 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 31-31 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2180-2180 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 447-447 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 32-32 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 62-62 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 516-516 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 32-32 | |
| 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