| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8621-8623 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8619-8619 | 支持水上运输活动 是 支持运输活动 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8632-8632 | 海运货物处理 是 支持水上运输活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8639-8639 | 运输航运服务 是 支持水上运输活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8646-8646 | 水运的其他支持活动 是 支持水上运输活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8625-8625 | 港口和港口业务 是 支持水上运输活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56215-56215 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56214-56214 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56213-56213 |
|
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