TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23379-23381
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23383-23383	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 23384-23384	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 23376-23376	legalGuardian est une instance de relation antisym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23375-23375	legalGuardian est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23377-23377	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