TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 363-363
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 361-361	Girl is a subclass of human child
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 362-362	Girl is a subclass of woman

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 365-370