No TPTP formula. May not be expressible in strict first order.	naics.kif 9179-9179	例 金融和保險 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 7313-7313	例 食品和飲料店 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 1355-1355	例 食品製造業 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6191-6191	例 水果種植 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 7119-7119	例 家具和家居用品商店 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 5988-5988	例 家具及相關產品製造 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1751-1751	例 家具業 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 7466-7466	例 加油站 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 7696-7696	例 百貨商店 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1758-1758	例 手工業 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 7415-7415	例 健康和個人護理店 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 10877-10877	例 保健和社會援助 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1143-1143	例 工業部門 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 8829-8829	例 信息產業 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1762-1762	例 鉛行業 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1770-1770	例 鉛製造業 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 2451-2451	例 皮革及相關產品製造 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1773-1773	例 木材業 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 4638-4638	例 機械製造業 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 10270-10270	例 公司和企業的管理 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30995-30995	例 MechanicalProductAttribute and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1787-1787	例 冶金工業 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6186-6186	例 小米種植 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	naics.kif 626-626	例 礦業 and 行業屬性
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1797-1797	例 採礦業 and 行業屬性
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