TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2804-2805
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2801-2803
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2808-2808	域 rainfallIntensity, 1 and GeographicArea
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2809-2809	域 rainfallIntensity, 2 and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2810-2810	域 rainfallIntensity, 3 and FunctionQuantity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2811-2811	例 rainfallIntensity and TernaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4322-4322
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4321-4321
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4320-4320
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2807-2807
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2806-2806

antecedent

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

Weather.kif 2813-2838

consequent

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

Weather.kif 1093-1107