TreeView Knowledge Base Browser - PlasmaMembrane

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PlasmaMembrane

PlasmaMembrane(質膜)

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	子類質膜 and BodyCovering

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1067-1067	子類細胞包膜 and 質膜
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1120-1120	子類病毒外膜 and 質膜
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	例 Object and 質膜 Object 適當的部分 Object and Object 例 Object and 脂質雙分子層 Object 例 Object and 脂質雙分子層適當的部分 Object and Object 等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 356-361	例 Object and 質膜 Object 適當的部分 Object and Object 例 Object and Protein

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

Show without tree

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