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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Psittacosis

Sigma KEE - Psittacosis
Psittacosis(psittacosis)
ornithosis, parrot_disease, parrot_fever, psittacosis

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1602-1602 Psittacosis disease incubation 6 day duration(s) for 19 day duration(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1603-1605
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6799-6799
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7663-7663
No TPTP formula. May not be expressible in strict first order. WMD.kif 1601-1601 Psittacosis is an instance of bacterial disease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1596-1596 Psittacosis is a biochemical agent syndrome of chlamydia psittaci
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47912-47912
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47911-47911
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47910-47910


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