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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VariolaMinor

 Sigma KEE - VariolaMinor
VariolaMinor(小天花)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1260-1260 天花 是 小天花 的 biochemical 病毒徵兆
No TPTP formula. May not be expressible in strict first order. WMD.kif 1261-1262
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6954-6954
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8202-8202
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8203-8203
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8205-8205
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8206-8206
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8208-8208
No TPTP formula. May not be expressible in strict first order. WMD.kif 1259-1259 子類 小天花 and 病毒劑

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61280-61280
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61279-61279
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61278-61278


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