TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6439-6440
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6437-6437	The number 1 argument of shedding leaves is an instance of plant
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6438-6438	The number 2 argument of shedding leaves is an instance of plant leaf
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6436-6436	shedding leaves is an instance of shedding part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5010-5010
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65936-65936

antecedent

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

Geography.kif 6393-6404

consequent

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

Geography.kif 6548-6553