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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Psittacosis

Sigma KEE - Psittacosis
Psittacosis(鹦鹉学舌)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1602-1602 鹦鹉学舌 对于 %3 dis​​ease 孵化
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 鹦鹉学舌细菌性疾病instance

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1596-1596 鹦鹉学舌衣原体鹦鹉热biochemical 病毒征兆
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 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