TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23142-23143
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23144-23144	域祖母, 1 and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23145-23145	域祖母, 2 and 女人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23069-23069	例祖母 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23068-23068	子關係祖母 and 祖父母

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3542-3542
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3541-3541
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3540-3540
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26400-26400
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26399-26399
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26398-26398

antecedent

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

Mid-level-ontology.kif 23147-23152

consequent

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

Mid-level-ontology.kif 23113-23128