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	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 1158-1158	The range of viral part is an instance of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1122-1122	Palisade is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1151-1151	Viral core is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1114-1114	Virus core envelope is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1118-1118	Virus outer membrane is a subclass of virus part
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

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 1137-1142	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 1103-1108	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 1144-1149