TreeView Knowledge Base Browser - DeciduousTree

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DeciduousTree

DeciduousTree

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6389-6389	DeciduousTree e' disjunto de EvergreenTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6390-6391
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6388-6388	DeciduousTree e' uma sub-classe de BotanicalTree

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6519-6519	AspenTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6479-6479	BalsaTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6484-6484	BeechTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6489-6489	BirchTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6494-6494	BlackCherryTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6516-6516	CottonwoodTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6503-6503	MapleTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6507-6507	OkoumeTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6512-6512	PoplarTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6522-6522	RedOakTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6526-6526	SapeleTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6499-6499	SweetCherryTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6531-6531	WalnutTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6536-6536	WhiteOakTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6541-6541	WillowTree e' uma sub-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64750-64750

antecedent

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

Geography.kif 6393-6404

sheddingLeaves Planta and PlantLeaf Planta e' uma instancia de DeciduousTree PlantLeaf e' uma instancia de PlantLeaf
Processo Processo Processo e' uma sub-classe de Remover Processo ocorre todos os YearDuration Processo e' uma instancia de Processo Processo tem como origem Planta PlantLeaf e' um patient de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5284-5291	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Hardwood Objeto Organico e' uma sub-classe de PlantStem o argumento initialPart Objeto Organico and DeciduousTree tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 2184-2186	Planta e' igual a PlantFn Apple Planta e' uma sub-classe de DeciduousTree

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

Show without tree

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