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 是 SomaticCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 933-933	TetraploidCell 是 Zygote 的 subclass

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	如果群体是群体的 instance 和 Chromosome 是那个群体的 member 类别和 MonoploidChromosomeSet 是 MonoploidChromosomeSet 的 instance 和那个 MonoploidChromosomeSet 是那个群体的真正的子集和 chromosomeSetCount 那个 MonoploidChromosomeSet, 那个群体 and 4 和那个群体是 located 在客体和那个客体是细胞核的 instance 和那个客体是另一个客体的 part，然后那个另外客体是 TetraploidCell 的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3904-3909	如果客体是 DurumWheatGrass 的 instance 和另一个客体是那个客体的 part 和那个另外客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 TetraploidCell 的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3872-3877	如果客体是 EmmerWheatGrass 的 instance 和另一个客体是那个客体的 part 和那个另外客体是那个另外客体LASS 的 instance，然后那个另外客体LASS 是 TetraploidCell 的 subclass