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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 Psittacosis disease incubation 6 day duration(s) for 19 day duration(s)
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6798-6798 Psittacosis disease incubation 6 day duration(s) for 19 day duration(s)
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7662-7662 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 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 47914-47914 Psittacosis is a biochemical agent syndrome of chlamydia psittaci
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47913-47913 Psittacosis is a biochemical agent syndrome of chlamydia psittaci
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47912-47912 Psittacosis is a biochemical agent syndrome of chlamydia psittaci


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