TreeView 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 e' uma sub-classe de Parte do Corpo

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1158-1158	O contra-dominio de ViralPartFn e' uma instancia de VirusPart
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1122-1122	Palisade e' uma sub-classe de VirusPart
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1151-1151	ViralCore e' uma sub-classe de VirusPart
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1114-1114	VirusCoreEnvelope e' uma sub-classe de VirusPart
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1118-1118	VirusOuterMembrane e' uma sub-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

O argumento numero 2 de ViralPartFn e' uma sub-classe de VirusPart

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1137-1142	Objeto e' uma instancia de VirusPart Objeto Objeto e' uma &parte de Objeto Objeto e' uma instancia de Virus
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1103-1108	Objeto e' uma instancia de VirusPart Objeto Objeto e' uma instancia de Virus Objeto e' uma &parte de Objeto

consequent

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

VirusProteinAndCellPart.kif 1144-1149