TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1650-1653
No TPTP formula. May not be expressible in strict first order.	Government.kif 1646-1646	The number 1 argument of role appoints role is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1647-1647	The number 2 argument of role appoints role is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Government.kif 1648-1648	The number 3 argument of role appoints role is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Government.kif 1645-1645	role appoints role is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2171-2171
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2170-2170
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2169-2169
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50264-50264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50263-50263
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50262-50262