| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6173-6175 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6171-6171 | 医疗设备和用品制造业 是 杂项制造业 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6199-6199 | 牙科设备和用品制造业 是 医疗设备和用品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6213-6213 | 牙科实验室 是 医疗设备和用品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6177-6177 | 实验室仪器和家具制造 是 医疗设备和用品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6206-6206 | 眼科制品 是 医疗设备和用品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6184-6184 | 外科和医疗器械制造 是 医疗设备和用品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 6192-6192 | 手术器具和用品制造业 是 医疗设备和用品制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36833-36833 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36832-36832 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36831-36831 |
|
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