TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23130-23131
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23132-23132	域祖父, 1 and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23133-23133	域祖父, 2 and 人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23071-23071	例祖父 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23070-23070	子關係祖父 and 祖父母

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 23135-23140

consequent

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

Mid-level-ontology.kif 23113-23128