TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 934-935
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 932-932	TetraploidCell e' uma sub-classe de SomaticCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 933-933	TetraploidCell e' uma sub-classe de Zygote

appearance as argument number 2

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

VirusProteinAndCellPart.kif 936-936

antecedent

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

VirusProteinAndCellPart.kif 950-965

consequent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 938-948	Colecao e' uma instancia de Colecao memberType Colecao and Chromosome MonoploidChromosomeSet e' uma instancia de MonoploidChromosomeSet MonoploidChromosomeSet e' uma sub-colecao de Colecao chromosomeSetCount MonoploidChromosomeSet, Colecao and 4 Colecao e' situado em Objeto Objeto e' uma instancia de CellNucleus Objeto e' uma &parte de Objeto Objeto e' uma instancia de TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3904-3909	Objeto e' uma instancia de DurumWheatGrass Objeto e' uma &parte de Objeto Objeto e' uma instancia de ObjetoLASS ObjetoLASS e' uma sub-classe de TetraploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3872-3877	Objeto e' uma instancia de EmmerWheatGrass Objeto e' uma &parte de Objeto Objeto e' uma instancia de ObjetoLASS ObjetoLASS e' uma sub-classe de TetraploidCell