TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23089-23090
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23091-23091	域祖母, 1 and Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23092-23092	域祖母, 2 and 女人
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23016-23016	例祖母 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23015-23015	子關係祖母 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 23094-23099

consequent

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

Mid-level-ontology.kif 23060-23075