TreeView Knowledge Base Browser - WarmBloodedVertebrate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14552-14552	Vertebrado de Sangue Quente e' disjunto de Vertebrado de Sangue Frio
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3413-3413
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14553-14554
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14551-14551	Vertebrado de Sangue Quente e' uma sub-classe de Vertebrado

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14561-14561	Passaro e' uma sub-classe de Vertebrado de Sangue Quente
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14580-14580	Mamifero e' uma sub-classe de Vertebrado de Sangue Quente
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 986-986
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1179-1179
No TPTP formula. May not be expressible in strict first order.	french_format.kif 663-663
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 194-194
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 197-197
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2347-2347
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 615-615
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 231-231
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 684-684
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 198-198