TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3021-3022
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3018-3020
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3026-3026	降雪强度的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3027-3027	降雪强度的 2 数量是时距的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3028-3028	降雪强度的 3 数量是函数量的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3029-3029	降雪强度是三元谓语的 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 3025-3025
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3024-3024

antecedent

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

Weather.kif 3031-3058

consequent

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

Weather.kif 2936-2951