TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1624-1627
No TPTP formula. May not be expressible in strict first order.	Government.kif 1620-1620	The number 1 argument of role approves role is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1621-1621	The number 2 argument of role approves role is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Government.kif 1622-1622	The number 3 argument of role approves role is an instance of social role
No TPTP formula. May not be expressible in strict first order.	Government.kif 1619-1619	role approves 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 2175-2175
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2174-2174
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2173-2173
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50272-50272
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50271-50271
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50270-50270