No TPTP formula. May not be expressible in strict first order.	naics.kif 5885-5885	子屬性 飛機製造業 and 航空航天產品和零件製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 8583-8583	子屬性 機場運營 and 支持航空運輸活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 3189-3189	子屬性 鹼和氯製造 and 其他基礎無機化學製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 11069-11069	子屬性 所有其他門診醫療服務 and 其他門診醫療服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 11546-11546	子屬性 所有其他娛樂和娛樂業 and 其他娛樂和娛樂業
No TPTP formula. May not be expressible in strict first order.	naics.kif 492-492	子屬性 所有其他動物的生產 and 其他動物生產
No TPTP formula. May not be expressible in strict first order.	naics.kif 11805-11805	子屬性 所有其他汽車維修和保養 and 其他汽車維修和保養
No TPTP formula. May not be expressible in strict first order.	naics.kif 3203-3203	子屬性 所有其他基礎無機化學製造 and 其他基礎無機化學製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 3239-3239	子屬性 所有其他基本有機化學品製造 and 其他基本有機化學品製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 10437-10437	子屬性 所有其他業務支持服務 and 其他商業支持服務
No TPTP formula. May not be expressible in strict first order.	naics.kif 3453-3453	子屬性 所有其他化學產品和製劑生產 and 其他化學產品和製劑生產
No TPTP formula. May not be expressible in strict first order.	naics.kif 9785-9785	子屬性 所有其他消費品租賃 and 其他消費品租賃
No TPTP formula. May not be expressible in strict first order.	naics.kif 2908-2908	子屬性 所有其他轉換紙製品製造 and 其他轉換紙製品製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 308-308	子屬性 所有其他農作物 and 其他農作物種植
No TPTP formula. May not be expressible in strict first order.	naics.kif 2408-2408	子屬性 所有其他剪裁和縫製服裝製造 and 其他剪裁和縫製服裝製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 5655-5655	子屬性 所有其他電氣設備和部件製造 and 其他電氣設備和部件製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 4569-4569	子屬性 所有其他金屬製品製造業 and 其他加工金屬製品製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 9396-9396	子屬性 所有其他金融投資活動 and 其他金融投資活動
No TPTP formula. May not be expressible in strict first order.	naics.kif 1804-1804	子屬性 所有其他食品製造業 and 其他食品製造業
No TPTP formula. May not be expressible in strict first order.	naics.kif 7738-7738	子屬性 所有其他百貨商店 and 其他百貨商店
No TPTP formula. May not be expressible in strict first order.	naics.kif 5054-5054	子屬性 所有其他通用機械製造 and 其他通用機械製造
No TPTP formula. May not be expressible in strict first order.	naics.kif 136-136	子屬性 所有其他糧食種植 and 其他糧食種植
No TPTP formula. May not be expressible in strict first order.	naics.kif 7458-7458	子屬性 所有其他健康和個人護理商店 and 其他健康和個人護理商店
No TPTP formula. May not be expressible in strict first order.	naics.kif 1208-1208	子屬性 所有其他重型建築 and 其他重型建築
No TPTP formula. May not be expressible in strict first order.	naics.kif 7171-7171	子屬性 所有其他家具用品商店 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