| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10308-10310 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10306-10306 | 子屬性 行政和支持服務 and 行政和支持以及廢物管理和補救服務 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10351-10351 | 子屬性 商業支持服務 and 行政和支持服務 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10324-10324 | 子屬性 就業服務 and 行政和支持服務 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10318-10318 | 子屬性 設施支持服務 and 行政和支持服務 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10498-10498 | 子屬性 調查和安全服務 and 行政和支持服務 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10312-10312 | 子屬性 辦公室行政服務 and 行政和支持服務 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10590-10590 | 子屬性 其他支持服務 and 行政和支持服務 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10550-10550 | 子屬性 為建築物和住宅提供的服務 and 行政和支持服務 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10445-10445 | 子屬性 旅行安排和預訂服務 and 行政和支持服務 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5544-5544 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5543-5543 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 5542-5542 |
|
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