VirusCoreEnvelope - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - VirusCoreEnvelope

VirusCoreEnvelope(virus core envelope)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1124-1125
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1123-1123	Virus core envelope is a subclass of virus part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61777-61777
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61776-61776
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61775-61775

antecedent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1134-1139	If an object is an instance of virus core envelope, then there exists another object such that the other object is a proper part of the object and the other object is an instance of palisade
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1213-1218	If a self connected object is an instance of virus core envelope, then there exists another self connected object such that the self connected object is a surface of the other self connected object and the other self connected object is an instance of viral core

consequent

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

VirusProteinAndCellPart.kif 1186-1191

If an object is an instance of vaccinia virion,
then there exists another object such that the other object is an instance of virus core envelope and the other object is a interior part of the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners