No TPTP formula. May not be expressible in strict first order.	Music.kif 610-610	Bluegrass is internally related to country music
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17418-17418	Boarding is internally related to deboarding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11891-11891	Buying is internally related to selling
No TPTP formula. May not be expressible in strict first order.	Food.kif 406-406	Caffeinated is internally related to decaf
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2966-2966	Carbon dioxide emission is internally related to vehicular pollution
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6571-6571	Cedar tree is internally related to Cedar wood
No TPTP formula. May not be expressible in strict first order.	Music.kif 621-621	Chamber music is internally related to acoustic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11642-11642	Change of possession is internally related to possesses
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4871-4871	Chrysanthemum is internally related to pyrethrum
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4689-4689	Cocoa bean is internally related to cocoa butter
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4688-4688	Cocoa bean is internally related to cocoa solid
No TPTP formula. May not be expressible in strict first order.	Food.kif 630-630	Coffee is internally related to coffee grind attribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 631-631	Coffee is internally related to coffee roast attribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 448-448	Coffee roast attribute is internally related to coffee grind attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2944-2944	Communication is internally related to communication device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13037-13037	Communication is internally related to content development
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 885-885	Container port is internally related to container ship
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1329-1329	Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order.	Food.kif 31-31	Cooked is internally related to raw food
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12785-12785	Creation is internally related to destruction
No TPTP formula. May not be expressible in strict first order.	Food.kif 964-964	Crushing is internally related to breaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 64-64	Cured is internally related to fermented
No TPTP formula. May not be expressible in strict first order.	Food.kif 65-65	Cured is internally related to raw food
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9232-9232	Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9231-9231	Day is internally related to day
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