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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HornInstrument

Sigma KEE - HornInstrument
HornInstrument(喇叭乐器)

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1216-1218
No TPTP formula. May not be expressible in strict first order. pictureList.kif 503-503
No TPTP formula. May not be expressible in strict first order. pictureList.kif 113-113
No TPTP formula. May not be expressible in strict first order. Music.kif 1215-1215 喇叭乐器乐器subclass

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1279-1279 号角喇叭乐器subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28575-28575
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28574-28574
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28573-28573


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