Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlasmaMembrane
PlasmaMembrane(plasma membrane)
cell_membrane, cytomembrane, plasma_membrane

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 352-354
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10192-10192
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11623-11623
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11622-11622
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 351-351 Plasma membrane is a subclass of body covering

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1067-1067 Cell envelope is a subclass of plasma membrane
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1120-1120 Virus outer membrane is a subclass of plasma membrane
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46146-46146
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46145-46145
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46144-46144

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 558-569
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 356-361


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