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	Le nombre 1 argument de perpetrator est une instance de CriminalAction
No TPTP formula. May not be expressible in strict first order.	Law.kif 270-270	perpetrator est une instance de r�le d�pendant du cas
No TPTP formula. May not be expressible in strict first order.	Law.kif 271-271	perpetrator est une sous-relation de 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