TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1614-1617
No TPTP formula. May not be expressible in strict first order.	Government.kif 1610-1610	域角色任命角色, 1 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1611-1611	域角色任命角色, 2 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Government.kif 1612-1612	域角色任命角色, 3 and SocialRole
No TPTP formula. May not be expressible in strict first order.	Government.kif 1609-1609	例角色任命角色 and TernaryPredicate

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 50266-50266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50265-50265
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50264-50264