TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1672-1673
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1670-1671
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1677-1677	域 MaxValueFn, 1 and List
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1678-1678	例 MaxValueFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1679-1679	範圍 MaxValueFn and Number

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1675-1675
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1674-1674
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10433-10433
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10432-10432

antecedent

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

Weather.kif 1681-1688

consequent

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

Weather.kif 2034-2044