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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tachometer

Sigma KEE - Monkeypox
Monkeypox(猴痘)

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1229-1230
No TPTP formula. May not be expressible in strict first order. WMD.kif 1228-1228 猴痘病毒性疾病instance

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1233-1233 猴痘猴痘病毒biochemical 病毒征兆
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38447-38447
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38446-38446
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38445-38445


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