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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Virion

 Sigma KEE - Virion
Virion(virion)
more pictures...		virion

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 190-191
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8236-8236
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6961-6961
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8227-8227
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8237-8237
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8228-8228
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8238-8238
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8229-8229
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8230-8230
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8231-8231
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8239-8239
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8233-8233
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8234-8234
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 189-189 Virion is an instance of developmental attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61742-61742
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61741-61741
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61740-61740

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 200-202


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