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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gonorrhea

Sigma KEE - Gonorrhea
Gonorrhea(gonorrhea)
clap, gonorrhea, gonorrhoea

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1160-1160
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4704-4704
No TPTP formula. May not be expressible in strict first order. WMD.kif 1159-1159 Gonorrhea is an instance of bacterial disease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1245-1245 Gonorrhea is a biochemical agent syndrome of neisseria gonorrhoeae
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26256-26256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26255-26255
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26254-26254


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