TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23432-23434
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23436-23436	Le nombre 1 argument de legalGuardian est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23437-23437	Le nombre 2 argument de legalGuardian est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23429-23429	legalGuardian est une instance de relation antisym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23428-23428	legalGuardian est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23430-23430	legalGuardian est une instance de relation partielle

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1459-1459
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1458-1458
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1457-1457
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33833-33833
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33832-33832
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33831-33831