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	域角色批准角色, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1621-1621	域角色批准角色, 2 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Government.kif 1622-1622	域角色批准角色, 3 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Government.kif 1619-1619	例角色批准角色 and TernaryPredicate

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