VirusPart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1109-1110
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1108-1108	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 1167-1167	The range of viral part is an instance of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1131-1131	Palisade is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1160-1160	Viral core is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1123-1123	Virus core envelope is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1127-1127	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 1166-1166

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 1146-1151	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 1112-1117	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 1153-1158