WhiteOakTree - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6538-6539
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8623-8623
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9479-9479
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9480-9480
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6537-6537	WhiteOakTree 和 WhiteOakWood 是内部相关
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6536-6536	WhiteOakTree 是 DeciduousTree 的 subclass

appearance as argument number 2

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

domainEnglishFormat.kif 65733-65733

consequent

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

Economy.kif 5398-5403