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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Psittacosis
Psittacosis

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1602-1602 diseaseIncubation Psittacosis, 6 DayDuration(s) and 19 DayDuration(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 est une instance de BacterialDisease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1596-1596 biochemicalAgentSyndrome ChlamydiaPsittaci and Psittacosis
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47914-47914
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47913-47913
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 47912-47912


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