TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Law.kif 276-278
No TPTP formula. May not be expressible in strict first order.	Law.kif 272-272	域 perpetrator, 1 and 犯罪行為
No TPTP formula. May not be expressible in strict first order.	Law.kif 270-270	例 perpetrator and CaseRole
No TPTP formula. May not be expressible in strict first order.	Law.kif 271-271	子關係 perpetrator and agent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Law.kif 274-274
No TPTP formula. May not be expressible in strict first order.	Law.kif 273-273