TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23078-23079
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23080-23080	Le nombre 1 argument de grandfather est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23081-23081	Le nombre 2 argument de grandfather est une instance de Man
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23019-23019	grandfather est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23018-23018	grandfather est une sous-relation de grandparent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3538-3538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3537-3537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3536-3536
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26394-26394
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26393-26393
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26392-26392

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 23083-23088

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 23061-23076