TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23013-23014
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23010-23010	Le nombre 1 argument de grandparent est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23011-23011	Le nombre 2 argument de grandparent est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23009-23009	grandparent est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23008-23008	grandparent est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1121-1121
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1120-1120
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1119-1119
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23018-23018	grandfather est une sous-relation de grandparent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23016-23016	grandmother est une sous-relation de grandparent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26406-26406
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26405-26405
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26404-26404