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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VirusDoubleStranded

 Sigma KEE - VirusDoubleStranded
VirusDoubleStranded(病毒双重搁浅)

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 147-148
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 146-146 病毒双重搁浅 是 病毒 的 subclass

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 41-41 病毒 详尽无遗地 partition 成 病毒双重搁浅 和 病毒单一搁浅
No TPTP formula. May not be expressible in strict first order. WMD.kif 1512-1512 HerpesVirus 是 病毒双重搁浅 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61760-61760
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61759-61759
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61758-61758

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 169-173


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