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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WindInstrument
WindInstrument

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1199-1201
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4853-4853
No TPTP formula. May not be expressible in strict first order. Music.kif 1198-1198 WindInstrument e' uma sub-classe de Instrumento Musical

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1289-1289 Clarinet e' uma sub-classe de WindInstrument
No TPTP formula. May not be expressible in strict first order. Music.kif 1292-1292 Flute e' uma sub-classe de WindInstrument
No TPTP formula. May not be expressible in strict first order. Music.kif 1295-1295 Oboe e' uma sub-classe de WindInstrument
No TPTP formula. May not be expressible in strict first order. Music.kif 1298-1298 Saxophone e' uma sub-classe de WindInstrument
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63107-63107
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63106-63106
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63105-63105

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 1203-1213


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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