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 and 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 and 植物樹

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6519-6519	子類 AspenTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6479-6479	子類 BalsaTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6484-6484	子類 BeechTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6489-6489	子類 BirchTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6494-6494	子類 BlackCherryTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6516-6516	子類 CottonwoodTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6503-6503	子類 MapleTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6507-6507	子類奧古曼樹 and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6512-6512	子類 PoplarTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6522-6522	子類 RedOakTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6526-6526	子類 SapeleTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6499-6499	子類 SweetCherryTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6531-6531	子類 WalnutTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6536-6536	子類 WhiteOakTree and DeciduousTree
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6541-6541	子類柳樹 and 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 Plant and PlantLeaf 例 Plant and DeciduousTree 例 PlantLeaf and PlantLeaf
Process Process 子類 Process and Removing 頻率 Process and 年持續時間例 Process and Process 起源 Process and Plant 患者 Process and PlantLeaf

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5284-5291	等於 Object and OrganicObjectFn OrganicObject 子類 Object and Hardwood 子類 OrganicObject and PlantStem 模態屬性 %每個 OrganicObject 是 DeciduousTree 的 initially part and 容易
No TPTP formula. May not be expressible in strict first order.	Food.kif 2184-2186	等於 Plant and PlantFn 蘋果子類 Plant and 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