TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3441-3442
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14664-14666
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4805-4805
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 27-27
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 26-26
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 28-28
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 29-29
No TPTP formula. May not be expressible in strict first order.	pictureList-ImageNet.kif 30-30
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14663-14663	子類 Reptile and ColdBloodedVertebrate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20266-20266	子類 Alligator and Reptile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30544-30544	子類 Crocodile and Reptile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12562-12562	子類蛇 and Reptile
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4923-4923	子類龜 and Reptile
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1003-1003
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1218-1218
No TPTP formula. May not be expressible in strict first order.	french_format.kif 680-680
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 211-211
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 214-214
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2364-2364
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 632-632
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 248-248
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 701-701
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 215-215

appearance as argument number 4

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

Merge.kif 14547-14547

antecedent

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

Geography.kif 6467-6471

consequent

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

Mid-level-ontology.kif 11531-11538