| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3121-3123 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3119-3119 | 例 化學製造業 and 行業屬性 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6150-6150 | 不相交的 雜項製造業 and 化學製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3143-3143 | 子屬性 基礎化學製造業 and 化學製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3434-3434 | 子屬性 其他化學產品和製劑生產 and 化學製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3374-3374 | 子屬性 油漆塗料和膠粘劑製造 and 化學製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3297-3297 | 子屬性 農藥肥料和其他農業化學品製造業 and 化學製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3339-3339 | 子屬性 製藥和醫藥製造業 and 化學製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3247-3247 | 子屬性 樹脂合成橡膠和人造及合成纖維和長絲的製造 and 化學製造業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3393-3393 | 子屬性 肥皂清潔化合物和廁所製備製造 and 化學製造業 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14316-14316 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14315-14315 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 14314-14314 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 3125-3141 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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