VariolaMinor - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1260-1260	Smallpox is a biochemical agent syndrome of variola minor
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	Variola minor is a subclass of viral agent

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