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 est disjoint 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 est une sous-classe de BotanicalTree

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6519-6519	AspenTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6479-6479	BalsaTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6484-6484	BeechTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6489-6489	BirchTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6494-6494	BlackCherryTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6516-6516	CottonwoodTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6503-6503	MapleTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6507-6507	OkoumeTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6512-6512	PoplarTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6522-6522	RedOakTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6526-6526	SapeleTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6499-6499	SweetCherryTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6531-6531	WalnutTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6536-6536	WhiteOakTree est une sous-classe de DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6541-6541	WillowTree est une sous-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 plante and PlantLeaf plante est une instance de DeciduousTree PlantLeaf est une instance de PlantLeaf
processus processus processus est une sous-classe de supprimer processus se produit tous les YearDuration processus est une instance de processus processus a pour origine plante PlantLeaf est un patient de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5284-5291	Objet est OrganicObjectFn objet organique objet est une sous-classe de Hardwood objet organique est une sous-classe de PlantStem l'argument initialPart objet organique and DeciduousTree a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 2184-2186	Plante est PlantFn Apple plante est une sous-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