No TPTP formula. May not be expressible in strict first order.	Music.kif 610-610	Bluegrass e' relacionado internamente por SUMO a CountryMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17418-17418	Boarding e' relacionado internamente por SUMO a Deboarding
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11891-11891	Comprar e' relacionado internamente por SUMO a Vender
No TPTP formula. May not be expressible in strict first order.	Food.kif 406-406	CaffeinatedAttribute e' relacionado internamente por SUMO a DecafAttribute
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2966-2966	CarbonDioxideEmission e' relacionado internamente por SUMO a VehicularPollution
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6571-6571	CedarTree e' relacionado internamente por SUMO a CedarWood
No TPTP formula. May not be expressible in strict first order.	Music.kif 621-621	ChamberMusic e' relacionado internamente por SUMO a AcousticMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11642-11642	Mudanca de Dono e' relacionado internamente por SUMO a possesses
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4871-4871	Chrysanthemum e' relacionado internamente por SUMO a Pyrethrum
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4689-4689	CocoaBean e' relacionado internamente por SUMO a CocoaButter
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4688-4688	CocoaBean e' relacionado internamente por SUMO a CocoaSolid
No TPTP formula. May not be expressible in strict first order.	Food.kif 630-630	Coffee e' relacionado internamente por SUMO a CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 631-631	Coffee e' relacionado internamente por SUMO a CoffeeRoastAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 448-448	CoffeeRoastAttribute e' relacionado internamente por SUMO a CoffeeGrindAttribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2944-2944	Communicacao e' relacionado internamente por SUMO a CommunicationDevice
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13037-13037	Communicacao e' relacionado internamente por SUMO a Desenvolvimento de Conteudo
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 885-885	ContainerPort e' relacionado internamente por SUMO a ContainerShip
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1329-1329	Objeto Representendo Conteudo Abstrato e' relacionado internamente por SUMO a containsInformation
No TPTP formula. May not be expressible in strict first order.	Food.kif 31-31	CookedAttribute e' relacionado internamente por SUMO a RawAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12785-12785	Criacao e' relacionado internamente por SUMO a Destrucao
No TPTP formula. May not be expressible in strict first order.	Food.kif 964-964	Crushing e' relacionado internamente por SUMO a Breaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 64-64	CuredAttribute e' relacionado internamente por SUMO a FermentedAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 65-65	CuredAttribute e' relacionado internamente por SUMO a RawAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9232-9232	Dia e' relacionado internamente por SUMO a DayDuration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9231-9231	Dia e' relacionado internamente por SUMO a 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