TreeView Knowledge Base Browser - LassaVirus

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LassaVirus

LassaVirus(lassa virus)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1858-1858	Ingesting is a biochemical agent delivery of lassa virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1859-1859	Touching is a biochemical agent delivery of lassa virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1857-1857	Lassa fever is a biochemical agent syndrome of lassa virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1860-1860	Rodent is a biological agent carrier of lassa virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1861-1861
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4762-4762
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1856-1856	Lassa virus is a subclass of viral agent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33409-33409
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33408-33408
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33407-33407

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