No TPTP formula. May not be expressible in strict first order.	naics.kif 9179-9179	金融和保险 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 7313-7313	食品和饮料店 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 1355-1355	食品制造业 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6191-6191	水果种植 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 7119-7119	家具和家居用品商店 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 5988-5988	家具及相关产品制造 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1751-1751	家具业 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 7466-7466	加油站 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 7696-7696	百货商店 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1758-1758	手工业 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 7415-7415	健康和个人护理店 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 10877-10877	保健和社会援助 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1143-1143	工业部门 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 8829-8829	信息产业 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1762-1762	铅行业 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1770-1770	铅制造业 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 2451-2451	皮革及相关产品制造 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1773-1773	木材业 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 4638-4638	机械制造业 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 10270-10270	公司和企业的管理 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30983-30983	MechanicalProductAttribute 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1787-1787	冶金工业 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6186-6186	小米种植 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 626-626	矿业 是 行业属性 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1797-1797	采矿业 是 行业属性 的 instance
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