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 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