VirusPart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1100-1101
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1099-1099	VirusPart est une sous-classe de partie du corps

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1158-1158	Le domaine de ViralPartFn est une instance de VirusPart
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1122-1122	Palisade est une sous-classe de VirusPart
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1151-1151	ViralCore est une sous-classe de VirusPart
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1114-1114	VirusCoreEnvelope est une sous-classe de VirusPart
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1118-1118	VirusOuterMembrane est une sous-classe de VirusPart
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61772-61772
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61771-61771
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61770-61770

appearance as argument number 3

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

VirusProteinAndCellPart.kif 1157-1157

Le nombre 2 argument de ViralPartFn est une sous-classe de VirusPart

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1137-1142	Objet est une instance de VirusPart objet objet est une partie de objet objet est une instance de virus
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1103-1108	Objet est une instance de VirusPart objet objet est une instance de virus objet est une partie de objet

consequent

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

VirusProteinAndCellPart.kif 1144-1149