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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VariolaMajor

Sigma KEE - VariolaMajor
VariolaMajor(天花专业)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1255-1255 天花天花专业biochemical 病毒征兆
No TPTP formula. May not be expressible in strict first order. WMD.kif 1256-1257
No TPTP formula. May not be expressible in strict first order. WMD.kif 1254-1254 天花专业病毒剂subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1403-1403 Myxomatosis天花专业 是 内部相关
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61274-61274
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61273-61273
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61272-61272


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