TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2182-2185
No TPTP formula. May not be expressible in strict first order.	Government.kif 2179-2179	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 2178-2178	Supreme court is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 2180-2180	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 56275-56275
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56274-56274
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56273-56273

antecedent

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

Government.kif 2187-2189

consequent

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

Government.kif 2191-2196