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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CellMembrane
CellMembrane(cell membrane)
semipermeable_membrane

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 448-448
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5901-5901
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 447-447 Cell membrane is a subclass of cell part

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 486-486 Internal cell membrane is a subclass of cell membrane
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 498-498 Lipid bilayer is a subclass of cell membrane
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5679-5679 Mucosa is a subclass of cell membrane
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13665-13665 Mucosa is a subclass of cell membrane
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13664-13664 Mucosa is a subclass of cell membrane
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13663-13663 Mucosa is a subclass of cell membrane


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