TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23219-23222
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23223-23223	Le nombre 1 argument de workAddress est une instance de PostalPlace
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23224-23224	Le nombre 2 argument de workAddress est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23217-23217	workAddress est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23216-23216	workAddress est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23218-23218	workAddress est une sous-relation de postContactSite

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2634-2634
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2633-2633
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2632-2632
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63453-63453
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63452-63452
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63451-63451