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 17417-17417	Boarding is internally related to deboarding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11913-11913	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 11664-11664	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 13059-13059	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 12807-12807	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 9254-9254	Day is internally related to day duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9253-9253	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