TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2146-2149
No TPTP formula. May not be expressible in strict first order.	Government.kif 2143-2143	The number 1 argument of supreme court is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 2142-2142	Supreme court is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 2144-2144	The values returned by supreme court are subclasses of supreme court

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2415-2415
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2414-2414
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2413-2413
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56277-56277
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56276-56276
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56275-56275

antecedent

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

Government.kif 2151-2153

consequent

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

Government.kif 2155-2160