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	O argumento numero 1 de perpetrator e' uma instancia de CriminalAction
No TPTP formula. May not be expressible in strict first order.	Law.kif 270-270	perpetrator e' uma instancia de Role em Caso
No TPTP formula. May not be expressible in strict first order.	Law.kif 271-271	perpetrator e' uma sub-relacao 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