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 14686-14688
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 14685-14685	Reptil e' uma sub-classe de Vertebrado de Sangue Frio

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20265-20265	Alligator e' uma sub-classe de Reptil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30532-30532	Crocodile e' uma sub-classe de Reptil
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12561-12561	Snake e' uma sub-classe de Reptil
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4923-4923	Turtle e' uma sub-classe de Reptil
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 14569-14569

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 11530-11537