TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 733-735
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 737-737	域 monoploidNumber, 1 and MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 738-738	域 monoploidNumber, 2 and Integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 732-732	例 monoploidNumber and BinaryPredicate

appearance as argument number 2

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

VirusProteinAndCellPart.kif 736-736

antecedent

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

VirusProteinAndCellPart.kif 772-781

consequent

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

VirusProteinAndCellPart.kif 742-746