BotanicalTree - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - BotanicalTree

BotanicalTree

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9482-9486
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 196-196
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9477-9477	BotanicalTree e' uma sub-classe de WoodyPlant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5499-5499	Timber e' relacionado internamente por SUMO a BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6388-6388	DeciduousTree e' uma sub-classe de BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6544-6544	EvergreenTree e' uma sub-classe de BotanicalTree
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11705-11705
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11704-11704
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11703-11703

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6259-6268	Objeto auto-conectado e' uma instancia de BotanicalTree Objeto auto-conectado e' uma instancia de Shrub Unidade de Medida e' uma instancia de UnitOfLength a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) a altura de Objeto auto-conectado e' Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9478-9480	Objeto Corpuscular e' uma instancia de BotanicalTree Wood e' feito de Objeto Corpuscular

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5235-5244	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de WoodProduct Objeto e' uma sub-classe de PlantStem Objeto Objeto e' uma sub-classe de BotanicalTree initialPart Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Food.kif 2421-2423	Planta e' igual a PlantFn CashewNut Planta e' uma sub-classe de BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Food.kif 3489-3491	Planta e' igual a PlantFn TamarindFruit Planta e' uma sub-classe de BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9492-9497	Objeto e' uma instancia de TreeBranch Objeto Objeto e' uma instancia de BotanicalTree Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6633-6635	Area Geografica e' uma instancia de Desert vegetationType Area Geografica and BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5502-5521	Fisico e' uma instancia de Felling Fisico tem por fim Entidade EntidadeIMB and Entidade Entidade e' uma instancia de BotanicalTree Entidade e' um patient de Fisico EntidadeIMB e' o resultado de Fisico EntidadeIMB e' uma instancia de Timber EntidadeIMB e' igual a Entidade Entidade e' uma instancia de PlantStem Entidade e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Fisico Entidade e' uma &parte de Entidade vale durante o fim de tempo de existencia de Fisico
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5472-5483	Entidade e' uma instancia de Felling Processo Processo, Objeto and Objeto Processo e' uma instancia de Cortar Objeto e' um patient de Processo Objeto e' uma instancia de BotanicalTree Processo e' o resultado de Processo Processo e' uma instancia de Falling Objeto e' um patient de Processo Objeto e' uma instancia de PlantStem Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8995-9001	Objeto e' uma instancia de Field Fisico Fisico e' uma instancia de BotanicalTree Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6358-6360	Area Geografica e' uma instancia de Forest vegetationTypePattern Area Geografica, BotanicalTree and DenseVegetation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6368-6370	Area Geografica e' uma instancia de RainForest vegetationTypePattern Area Geografica, BotanicalTree and CanopiedVegetation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2719-2724	Processo e' uma instancia de ForestDamage Entidade Entidade e' uma instancia de BotanicalTree Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6693-6696	Area Geografica e' uma instancia de Savanna vegetationType Area Geografica and BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6703-6705	Area Geografica e' uma instancia de Steppe vegetationType Area Geografica and BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9187-9192	Objeto e' uma instancia de Rubber Objeto Objeto e' uma instancia de BotanicalTree Objeto e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2588-2594	Processo e' uma instancia de Reforestation Objeto Objeto e' uma instancia de BotanicalTree NonFullyFormed e' um atributo de Objeto Objeto e' um patient de Processo

statement

No TPTP formula. May not be expressible in strict first order.

Geography.kif 3585-3585

vegetationType ArcticRegion and BotanicalTree

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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