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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlasmaMembrane

 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 质膜 是 身体外层 的 subclass

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1068-1068 细胞包膜 是 质膜 的 subclass
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1121-1121 病毒外膜 是 质膜 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46148-46148
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46147-46147
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 46146-46146

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


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


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