TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1101-1102
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1100-1100	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 1159-1159	The range of viral part is an instance of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1123-1123	Palisade is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1152-1152	Viral core is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1115-1115	Virus core envelope is a subclass of virus part
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1119-1119	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 1158-1158

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 1138-1143	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 1104-1109	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 1145-1150