VirusPart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1102-1103
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1101-1101	Virus part is a subclass of body part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1160-1160	The range of viral part is an instance of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1124-1124	Palisade is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1153-1153	Viral core is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1116-1116	Virus core envelope is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1120-1120	Virus outer membrane is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61795-61795	Virus outer membrane is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61794-61794	Virus outer membrane is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61793-61793	Virus outer membrane is a subclass of virus part

appearance as argument number 3

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

VirusProteinAndCellPart.kif 1159-1159

The number 2 argument of viral part is a subclass of virus part

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1139-1144	If an object is an instance of virus part, then there exists another object such that the object is a proper part of the other object and the other object is an instance of virus
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1105-1110	If an object is an instance of virus part, then there exists another object such that the other object is an instance of virus and the object is a part of the other object

consequent

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

VirusProteinAndCellPart.kif 1146-1151