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