No TPTP formula. May not be expressible in strict first order.	Music.kif 610-610	相關的內部概念 Bluegrass and CountryMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17418-17418	相關的內部概念 登機 and deboarding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11891-11891	相關的內部概念 Buying and Selling
No TPTP formula. May not be expressible in strict first order.	Food.kif 406-406	相關的內部概念 CaffeinatedAttribute and DecafAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2966-2966	相關的內部概念 二氧化碳排放量 and 車輛污染
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6571-6571	相關的內部概念 CedarTree and CedarWood
No TPTP formula. May not be expressible in strict first order.	Music.kif 621-621	相關的內部概念 ChamberMusic and AcousticMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11642-11642	相關的內部概念 ChangeOfPossession and 擁有
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4871-4871	相關的內部概念 菊花 and 除蟲菊
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4689-4689	相關的內部概念 可可豆 and 可可脂
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4688-4688	相關的內部概念 可可豆 and 可可粉
No TPTP formula. May not be expressible in strict first order.	Food.kif 630-630	相關的內部概念 咖啡 and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 631-631	相關的內部概念 咖啡 and CoffeeRoastAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 448-448	相關的內部概念 CoffeeRoastAttribute and CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2944-2944	相關的內部概念 Communication and 通訊設備
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13037-13037	相關的內部概念 Communication and ContentDevelopment
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 885-885	相關的內部概念 集裝箱港口 and 集裝箱船
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1329-1329	相關的內部概念 ContentBearingObject and 包含信息
No TPTP formula. May not be expressible in strict first order.	Food.kif 31-31	相關的內部概念 CookedAttribute and 生食
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12785-12785	相關的內部概念 Creation and Destruction
No TPTP formula. May not be expressible in strict first order.	Food.kif 964-964	相關的內部概念 Crushing and Breaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 64-64	相關的內部概念 CuredAttribute and FermentedAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 65-65	相關的內部概念 CuredAttribute and 生食
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9232-9232	相關的內部概念 Day and 一天長度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9231-9231	相關的內部概念 Day 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