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 61282-61282
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61281-61281
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61280-61280


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