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 9483-9487
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 9478-9478	BotanicalTree est une sous-classe de WoodyPlant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5499-5499	Timber est reli� � l'int�rieur de SUMO � BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6388-6388	DeciduousTree est une sous-classe de BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6544-6544	EvergreenTree est une sous-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	Objet en une partie est une instance de BotanicalTree objet en une partie est une instance de Shrub unit� de mesure est une instance de UnitOfLength la hauteur de objet en une partie est nombre r�el unit� de mesure(s) la hauteur de objet en une partie est nombre r�el unit� de mesure(s) nombre r�el est plus grand que nombre r�el
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9479-9481	Objet corpusculaire est une instance de BotanicalTree Wood est fait de objet corpusculaire

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5235-5244	Objet est OrganicObjectFn objet objet est une sous-classe de WoodProduct objet est une sous-classe de PlantStem objet objet est une sous-classe de BotanicalTree initialPart objet and objet
No TPTP formula. May not be expressible in strict first order.	Food.kif 2421-2423	Plante est PlantFn CashewNut plante est une sous-classe de BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Food.kif 3489-3491	Plante est PlantFn TamarindFruit plante est une sous-classe de BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9493-9498	Objet est une instance de TreeBranch objet objet est une instance de BotanicalTree objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6633-6635	Secteur g�ographique est une instance de Desert vegetationType secteur g�ographique and BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5502-5521	Physique est une instance de Felling physique a pour but entit� entit�IMB and entit� entit� est une instance de BotanicalTree entit� est un patient de physique entit�IMB est le resultat de physique entit�IMB est une instance de Timber entit�IMB est entit� entit� est une instance de PlantStem entit� est une partie de entit� pendant le d�but de temps d'existence de physique entit� est une partie de entit� pendant la fin de temps d'existence de physique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5472-5483	Entit� est une instance de Felling processus processus, objet and objet processus est une instance de couper objet est un patient de processus objet est une instance de BotanicalTree processus est le resultat de processus processus est une instance de Falling objet est un patient de processus objet est une instance de PlantStem objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8996-9002	Objet est une instance de Field physique physique est une instance de BotanicalTree physique est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6358-6360	Secteur g�ographique est une instance de Forest vegetationTypePattern secteur g�ographique, BotanicalTree and DenseVegetation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6368-6370	Secteur g�ographique est une instance de RainForest vegetationTypePattern secteur g�ographique, BotanicalTree and CanopiedVegetation
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2719-2724	Processus est une instance de ForestDamage entit� entit� est une instance de BotanicalTree entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6693-6696	Secteur g�ographique est une instance de Savanna vegetationType secteur g�ographique and BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6703-6705	Secteur g�ographique est une instance de Steppe vegetationType secteur g�ographique and BotanicalTree
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9188-9193	Objet est une instance de Rubber objet objet est une instance de BotanicalTree objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2588-2594	Processus est une instance de Reforestation objet objet est une instance de BotanicalTree NonFullyFormed est un attribut de objet objet est un patient de processus

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