TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23230-23233
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23227-23227	Le nombre 1 argument de homeAddress est une instance de PermanentResidence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23228-23228	Le nombre 2 argument de homeAddress est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23226-23226	homeAddress est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23225-23225	homeAddress est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23229-23229	homeAddress est une sous-relation de postContactSite

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1197-1197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1196-1196
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1195-1195
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28431-28431
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28430-28430
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28429-28429