Plague - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Plague

Plague

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 413-413	diseaseSymptom Plague and Fever
No TPTP formula. May not be expressible in strict first order.	WMD.kif 414-416
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10191-10191
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11619-11619
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11620-11620
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11621-11621
No TPTP formula. May not be expressible in strict first order.	WMD.kif 411-411	Plague e' uma instancia de BacterialDisease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 412-412	Plague e' uma instancia de VaccinatableDisease

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 406-406	biochemicalAgentSyndrome YersiniaPestis and Plague
No TPTP formula. May not be expressible in strict first order.	WMD.kif 418-418	BubonicPlague e' um sub-atributo de Plague
No TPTP formula. May not be expressible in strict first order.	WMD.kif 423-423	PneumonicPlague e' um sub-atributo de Plague
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46004-46004
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46003-46003
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46002-46002

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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