TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3025-3026
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3022-3024
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3030-3030	降雪强度的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3031-3031	降雪强度的 2 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3032-3032	降雪强度的 3 数量是函数量的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3033-3033	降雪强度是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4550-4550
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4549-4549
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4548-4548
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3029-3029
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3028-3028

antecedent

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

Weather.kif 3035-3062

consequent

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

Weather.kif 2940-2955