TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 356-356
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 463-463
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3102-3102
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 102-102
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3106-3106
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3107-3107
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2958-2958
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3103-3103
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3105-3105
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 354-354	女孩是人类的孩子的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 355-355	女孩是女人的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26070-26070
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26069-26069
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26068-26068

antecedent

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

Biography.kif 99-115

consequent

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

Mid-level-ontology.kif 358-363