Sigma KB Term Intersection

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
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
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.	Geography.kif 6388-6388	DeciduousTree e' uma sub-classe de BotanicalTree
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 6499-6499	SweetCherryTree 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 6516-6516	CottonwoodTree e' uma sub-classe de DeciduousTree
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 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 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

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