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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LibraryBuilding

Sigma KEE - BrazilianHemorrhagicFever
BrazilianHemorrhagicFever(brazilian hemorrhagic fever)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1964-1964 Fever is a disease symptom of brazilian hemorrhagic fever
No TPTP formula. May not be expressible in strict first order. WMD.kif 1965-1967
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10549-10549
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10547-10547
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10546-10546
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9914-9914
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10548-10548
No TPTP formula. May not be expressible in strict first order. WMD.kif 1963-1963 Brazilian hemorrhagic fever is an instance of hemorrhagic fever

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1960-1960 Brazilian hemorrhagic fever is a biochemical agent syndrome of sabia virus
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11849-11849
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11848-11848
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11847-11847


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