No TPTP formula. May not be expressible in strict first order.	Music.kif 610-610	Bluegrass est reli� � l'int�rieur de SUMO � CountryMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17417-17417	Boarding est reli� � l'int�rieur de SUMO � Deboarding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11913-11913	Acheter est reli� � l'int�rieur de SUMO � vendre
No TPTP formula. May not be expressible in strict first order.	Food.kif 406-406	CaffeinatedAttribute est reli� � l'int�rieur de SUMO � DecafAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2966-2966	CarbonDioxideEmission est reli� � l'int�rieur de SUMO � VehicularPollution
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6571-6571	CedarTree est reli� � l'int�rieur de SUMO � CedarWood
No TPTP formula. May not be expressible in strict first order.	Music.kif 621-621	ChamberMusic est reli� � l'int�rieur de SUMO � AcousticMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11664-11664	Changement de possession est reli� � l'int�rieur de SUMO � possesses
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4871-4871	Chrysanthemum est reli� � l'int�rieur de SUMO � Pyrethrum
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4689-4689	CocoaBean est reli� � l'int�rieur de SUMO � CocoaButter
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4688-4688	CocoaBean est reli� � l'int�rieur de SUMO � CocoaSolid
No TPTP formula. May not be expressible in strict first order.	Food.kif 630-630	Coffee est reli� � l'int�rieur de SUMO � CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 631-631	Coffee est reli� � l'int�rieur de SUMO � CoffeeRoastAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 448-448	CoffeeRoastAttribute est reli� � l'int�rieur de SUMO � CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2944-2944	Communication est reli� � l'int�rieur de SUMO � CommunicationDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13059-13059	Communication est reli� � l'int�rieur de SUMO � d�veloppement de contenu
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 885-885	ContainerPort est reli� � l'int�rieur de SUMO � ContainerShip
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1329-1329	Objet exprimant un sens est reli� � l'int�rieur de SUMO � containsInformation
No TPTP formula. May not be expressible in strict first order.	Food.kif 31-31	CookedAttribute est reli� � l'int�rieur de SUMO � RawAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12807-12807	Cr�ation est reli� � l'int�rieur de SUMO � destruction
No TPTP formula. May not be expressible in strict first order.	Food.kif 964-964	Crushing est reli� � l'int�rieur de SUMO � Breaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 64-64	CuredAttribute est reli� � l'int�rieur de SUMO � FermentedAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 65-65	CuredAttribute est reli� � l'int�rieur de SUMO � RawAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9254-9254	Jour est reli� � l'int�rieur de SUMO � DayDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9253-9253	Jour est reli� � l'int�rieur de SUMO � DayFn
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