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	角色任命角色的 1 数量是施事体的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1647-1647	角色任命角色的 2 数量是身分的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1648-1648	角色任命角色的 3 数量是身分的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1645-1645	角色任命角色是三元谓语的 instance

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