TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14759-14760
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14763-14763	Le nombre 1 argument de middleName est une instance de cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14764-14764	Le nombre 2 argument de middleName est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14762-14762	middleName est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14761-14761	middleName est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14765-14765	middleName est une sous-relation de names

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1707-1707
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1706-1706
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1705-1705
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37481-37481
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37480-37480
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37479-37479