TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6701-6703
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6699-6699	Le nombre 1 argument de humanCapacity est une instance de artefact stationnaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6700-6700	Le nombre 2 argument de humanCapacity est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6697-6697	humanCapacity est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6698-6698	humanCapacity est une instance de relation simple

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1217-1217
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1216-1216
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1215-1215
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6683-6683	capacity est reli� � l'int�rieur de SUMO � humanCapacity
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28851-28851
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28850-28850
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28849-28849