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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VirusSingleStranded

 Sigma KEE - VirusSingleStranded
VirusSingleStranded(virus single stranded)

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 151-152
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 150-150 Virus single stranded is a subclass of virus

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1214-1214 Coronavirus is a subclass of virus single stranded
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61778-61778
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61777-61777
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61776-61776

appearance as argument number 3
-------------------------


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


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