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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VirusDoubleStranded

Sigma KEE - VirusDoubleStranded
VirusDoubleStranded(virus double stranded)

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 Virus double stranded is a subclass of virus

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 41-41 Virus is exhaustively partitioned into virus double stranded and virus single stranded
No TPTP formula. May not be expressible in strict first order. WMD.kif 1512-1512 Herpes virus is a subclass of virus double stranded
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61762-61762
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61761-61761
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61760-61760

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